[coreboot] Patch merged into coreboot/master: cabbc86 Inagua: mainboard specific GPIO setting