I have looked online at the Motherboard PDF-manual and could not find the option to enable or disable HPET.
Does Gigabyte no more support HPET?
To choose between "ACPI Timer" and "HPET Timer" was good. If I buy the MB I cant test which hardware timer causes more DPC latency, and make my own decision.
Why did gigabyte changed this with the new Motherboards?