add_Immediately-disable-HPET-timer-1-if-rtc-irq-is-masked