[PATCH v3 12/25] xen/arm: introduce CONFIG_XEN on ARM