Re: [SeaBIOS] [PATCH 1/2] acpi: reorder PX13 + ISA