xen/arm: actually pass a non-NULL percpu pointer to request_percpu_irq