Re: [coreboot] [PATCH] Fix VIA C3 and C7 CPUs in kconfig