[coreboot-gerrit] Patch merged into filo/master: Rename Config.in to Kconfig