use new IRQ scheme in l_apic_timer_interrupt()