[PATCH v1 22/54] x86: acpi: Support generation of the HPET table