arm: KVM: Make kvm_arm.h friendly to assembly code