[coreboot] Quick question for Kconfig lint checking