[coreboot] New patch to review for coreboot: b25d3f7 Inagua: mainboard specific GPIO setting