Re: [PATCH v4 04/10] ARM/ARM64: KVM: Make kvm_psci_call() return convention more flexible