[coreboot-gerrit] New patch to review for coreboot: 9653bd8 arm64: psci: actually inform SoC layer of CPU_ON entry