[coreboot-gerrit] Patch merged into coreboot/master: ccbcfd7 kconfig: handle globbed files backwards