[coreboot-gerrit] Patch merged into coreboot/master: 931a218 arm64: secmon: pass online CPUs to secmon