[kbuild-all] Re: [PATCH 1/2] arm64: psci: Avoid printing in cpu_psci_cpu_die()