[coreboot-gerrit] Patch set updated for coreboot: a8d6517 arm64: secmon: pass online CPUs to secmon