#undef CONFIG_HPET_RTC_IRQ