Re: [SeaBIOS] [PATCH 1/2] fw/acpi: Build MADT the way commodity BIOSes do