Simplify timer_irq_enable() and timer_irq_disable().