Added support for additional ADC channels to mbed ADC HAL.

- Added pin names for internal ADC channels, like temp.
- For K22 and K64, added pin names for differential ADC inputs that
  are not muxed with other pins.