[coreboot] Patch merged into coreboot/master: 18d1ed4 Inagua: devicetree.cb update