[coreboot-gerrit] Patch merged into coreboot/master: e37c18f arm64: psci: actually inform SoC layer of CPU_ON entry