[PATCH v5 08/17] xen/arm: Introduce xen_ulong_t for unsigned long