Inagua: mainboard specific GPIO setting