[SeaBIOS] [RfC PATCH 1/2] move ACPI_PM_BASE from 0xb000 to 0x1000