change Kconfig type of ADC0_MASK from hex to int; add ADC driver options to lpc43xx Approved-by: Gregory Nutt