Re: [SeaBIOS] [Qemu-devel] [RFC 0/7+1] QEMU APIC ID + topology bug + CPU hotplug