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