arm/arm64: KVM: Add smccc accessors to PSCI code