Re: [coreboot] Gigabyte M57SLI Kconfig support