[SeaBIOS] [PATCH] add acpi pmtimer support