xen: register timer interrupt with IRQF_TIMER