[coreboot-gerrit] Patch set updated for coreboot: 28beeef build system: Make flat-binary Kconfig menu driven