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