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