On 12/10/2011 01:17 PM, Yinghai Lu wrote:
> your bios should not enable x2apic in this case.

I am, in fact, able to disable x2apic in the BIOS and it works fine.  I
was just under the impression that x2apic should be available and should
work?  Is this wrong?  If so, then there's no kernel bug, and I just
misunderstood.