[PATCH v5 07/17] xen/arm: Xen detection and shared_info page mapping