Re: [SeaBIOS] [PATCH] piix: do not reset APIC base address (0x80) on piix4_reset.