[coreboot-gerrit] New patch to review for coreboot: 42af5bc arm64: secmon: pass online CPUs to secmon