Fix type issues in ADC module for PicoC.