xen/arm: use the __HVC macro