[coreboot-gerrit] [XL] Change in coreboot[main]: mb/dell: Add Dell Precision M4800 (Haswell)