may cause IPIs. * Make broadcast IPIs go through x86_ipi() as well, so that they wait for the APIC to be ready too. From Stephan Uphoff.