[coreboot] [PATCH] v3: Fix Gigabyte M57SLI compilation