[coreboot] Porting to RS780/SB700 board

[Myles Watson]

> > Why are we setting anything in the 0-0x80000 range ( msr 0x250) or the
> > 0x80000-0x9ffff range (msr 0x258)?
> 
> addr = 0x250;
> <------>lo = 0x1E1E1E1E;
> <------>hi = lo;
> <------>_WRMSR(addr, lo, hi);<-><------>/* 0 - 512K = WB Mem */
> <------>addr = 0x258;
> <------>_WRMSR(addr, lo, hi);<-><------>/* 512K - 640K = WB Mem */
> 
> In mctmtr_d.c

Thanks for pointing out where it's done.  I'm surprised that fam10 sets this
up so early.  K8 doesn't set any of that up until much later.

Thanks,
Myles