I would like to use the 32kHz clock on the Q2687H module. The documentation states that the 32kHz clock is available on pin 43 in the board to board connector, and is multiplexed with GPIO 0 (or GPIO 44). My question is - how do I control the pin-muxing and thus ensure that the pin is used as a clock output? I have not been able to find any specific section in the technical specification that describes this. Is it OK to assume the pin is default configred as 32kHz output if its is NOT assigned a GPIO function?