[coreboot-gerrit] Change in ...coreboot[master]: kconfig_lint: Make uses of CONFIG() on an unknown option an error