K64F - ADC mbed HAL - channels definition correction