rtc-cmos: improve HPET IRQ glue