Hello, John
Yes, the datasheet is correct. That means actually only one differential ADC input pair is available for K66, however you could use an external analog multiplexer to extend this capability. You may know from the datasheet that the inputs are ADC0_DP3 and ADC0_DM3 for ADC0 channel 3 and ADC1_DP0 and ADC1_DM0 for ADC1. They are shared same pins, so only one differential ADC input pair is available to use.