[PATCH v5 10/17] xen/arm: introduce CONFIG_XEN on ARM