[coreboot-gerrit] New patch to review for coreboot: dc7798c src/Kconfig: Select SeaBIOS master branch by default if desired