On Thu, Oct 13, 2016 at 02:38:24PM +0200, Igor Mammedov wrote: [...]
According to SDM, if CPUs have APIC ID more than 254 firmware should pass control to OS in x2APIC mode. This series adds x2APIC bootstrap initialization.
Thanks. Looks good to me - just waiting on QEMU side.
-Kevin