[PATCH v3 09/25] xen/arm: Introduce xen_ulong_t for unsigned long