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