arm/xen: Use alloc_percpu rather than __alloc_percpu