Re: [coreboot] Trying to add Kconfig support for M57SLI - build error