Re: [coreboot] [v2] r4250 - in trunk/coreboot-v2: ...