ACPI: fix "acpi=ht" boot option