include/config/have/irq/time/