board-doubleshot.h: fix a couple of gpio pin (more work needed)