The enable_hpet() code in intel/i82801gx will not work with the