[coreboot] Patch merged into coreboot/master: b1443cb Torpedo mainboard changes to fix warnings.