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