[coreboot] Re: Quick question for Kconfig lint checking