Re: [RFC PATCH 0/3] In-kernel PSCI v0.2 emulation for KVM ARM/ARM64