Re: [PATCH v2 2/3] ARM/ARM64: KVM: Add support for PSCI v0.2 emulation