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