[SeaBIOS] [PATCH v3] add acpi pmtimer support