Re: [coreboot] [v2] r4048 - in trunk/coreboot-v2/src/mainboard/tyan: s2735 s2850