Re: [Xen-devel] [PATCH 11/24] xen/arm: introduce CONFIG_XEN on ARM