[coreboot-gerrit] New patch to review for coreboot: b749836 kconfig: example of how to automatically include mainboards