KVM: arm64: pkvm_proxy: add helpers needed to run a VCPU

Change-Id: Ifbfd0721773147cc54613c7455b78d9c02f119b7
2 files changed