[coreboot-gerrit] Patch merged into coreboot/master: f78a09b kconfig: Add wildcard support for "source"