[PATCH RESEND] xen/arm: use the __HVC macro