Re: [coreboot] dead Kconfig variables in v3