Re: [SeaBIOS] [Qemu-devel] Re: [PATCHv2] load hpet info for HPET ACPI table from qemu