[coreboot-gerrit] New patch to review for coreboot: 8d7e5b9 armv8/secmon: SECMON_SRC is really SECMON_BIN