Re: [SeaBIOS] [PATCH v2] add acpi pmtimer support