[coreboot-gerrit] Change in coreboot[master]: [RFC] kconfig_lint: Drop overly restrictive rules about choice configs