Re: [coreboot] [PATCH] use Kconfig for both options on Lippert boards