Reason: GPIO7_2 is already used as GPIO on the module. Using GPIO7 as GPIO would lead to wrong behavior of the GPIO7_2 on the module. SODIMM pin 47 can be used with any alternate function other than GPIO.