Number of 16 bit adc channels for K21

[gangriver]

I thought that K21 has 20 16 bit ADC channels; however, it seems that only the three differential channels are 16 bits and the other ADC channels are 12 bit ADC instead. Is this correct? 

[egoodii]

To be more specific, the datasheet will give some typical effective-number-of-bits, such as for 32 averages at a modest clock rate, wherein it might call out 14.5 in 16bit differential-mode (but note full-scale is limited to +/- 31/32!), 13.9 in 16-bit single-ended-mode,