[coreboot] Patch merged into coreboot/master: e35b393 Remove Dell s1850