[PATCH v2 24/57] x86: acpi: Support generation of the HPET table