According to the Platform pin map in platform.h for the BCM943362WCD4, WICED_GPIO_2 or MICRO_ADC_IN1 only has GPIO and TIM2_CH2 and TIM5_CH2 alternate functions. However the input calls it ADC. Can it actually be confirgured as an ADC pin ?