[coreboot-gerrit] Patch set updated for coreboot: 3a004a9 arm64: secmon: wait for all CPUs to enter secmon