[coreboot] Re: Porting Coreboot to a Mini PC