[coreboot] Patch merged into coreboot/master: 1448012 Re-worked devicetree.cb for DL145 G1