Re: [coreboot] Intel SandyBridge Xeon support C600 chip-sets