[coreboot-gerrit] Patch set updated for coreboot: 3b789ca kconfig: example of how to automatically include mainboards