Re: [Xen-devel] [PATCH v2 07/23] xen/arm: Xen detection and shared_info page mapping