My initial thought was that while some pins are connected to other peripherals on the discovery board, that they may still be used for GPIO. Is this true, or can a pin not be used for GPIO if connected to a peripheral, even if that peripheral is not ...