[coreboot-gerrit] [S] Change in coreboot[master]: util/lint: Ignore fmd files when evaluating Kconfig symbols