[PATCH v4 24/59] x86: acpi: Support generation of the HPET table