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