Porting the Intel DG41WV and Intel 4 series DDR3 raminit to coreboot