[SeaBIOS] [PATCH v2 1/3] smm: use acpi_pm1a_cnt