Re: [PATCH v4 02/10] ARM/ARM64: KVM: Add base for PSCI v0.2 emulation