Re: [PATCH v4 12/24] xen/arm: introduce CONFIG_XEN on ARM