Re: [PATCH v2 0/2] PSCI system off and reset for KVM ARM/ARM64