[coreboot-gerrit] Patch set updated for coreboot: 5a08b7c arm64: psci: actually inform SoC layer of CPU_ON entry