Re: [SeaBIOS] [RFC seabios PATCH] enumerate APIC IDs directly from CPUs