[PATCH v2 12/23] xen/arm: introduce CONFIG_XEN on ARM