Re: [PATCH 12/24] xen/arm: Introduce xen_guest_init