Re: [PATCH v2 02/23] xen/arm: hypercalls