Always make sure HPET is enabled