kvm-arm: Use explicit stage2 helper routines