Symbol: hpet_disable_rtc_channel