[coreboot-gerrit] Patch merged into coreboot/master: f793d43 arm64: secmon: wait for all CPUs to enter secmon