A colleague and I are working with the original BeagleBone and are having problems with 2 specific gpio pins. (gpio1_2 and gpio1_7). They are configured as outputs (much like many others such as 1_6, 1_28, etc…) but 1_2 and 1_7 remain low no matter what we try. We have configured them identically to the other gpio pins. Are these two pins reserved like gpio1_3? As far as I can tell, they are setup as gpio pins in the default mode 7, which we are using.