Currently we get the APIC setup wrong when someone
uses an SMP kernel with the nosmp boot option - we
don't do set up when in fact it is necessary (for
We can't test on smp_num_cpus alone, as it is perfectly
valid to have an SMP h/w machine with only one CPU.
Not sure how to fix this ...