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