Re: [RFC PATCH 4/5] ARM: psci: Add support for system reboot and poweroff