[coreboot] Re: Mainboard porting assistance