change ADC clock

Hardware Arduino Due
13 
  ACTUAL_ADC_CLK = adc_get_actual_adc_clock(ADC, SystemCoreClock/11.6666);