Re: [PATCH 02/24] xen/arm: hypercalls