[coreboot] Fwd: [newbie] support for GA-M57SLI-S4 and AMD Phenom (K10) possible?