Symbol: is_hpet_capable