[coreboot-gerrit] Patch set updated for coreboot: 7c903cb arm64: secmon: add entry point for turned on CPUs