p4a : add IRQ_TIMER demux handler