kill off the NuttX ADC driver config; we're not going to use it

nuttx/configs/px4fmu/nsh/appconfig

@@ -100,6 +100,7 @@ CONFIGURED_APPS += drivers/stm32
 CONFIGURED_APPS += drivers/led
 CONFIGURED_APPS += drivers/blinkm
 CONFIGURED_APPS += drivers/stm32/tone_alarm
+CONFIGURED_APPS += drivers/stm32/adc
 CONFIGURED_APPS += drivers/px4fmu
 CONFIGURED_APPS += drivers/hil
 

nuttx/configs/px4fmu/nsh/defconfig

@@ -189,9 +189,10 @@ CONFIG_STM32_TIM1=n
 CONFIG_STM32_TIM8=n
 CONFIG_STM32_USART1=y
 CONFIG_STM32_USART6=y
-CONFIG_STM32_ADC1=n
+# We use our own driver, but leave this on.
+CONFIG_STM32_ADC1=y
 CONFIG_STM32_ADC2=n
-CONFIG_STM32_ADC3=y
+CONFIG_STM32_ADC3=n
 CONFIG_STM32_SDIO=n
 CONFIG_STM32_SPI1=y
 CONFIG_STM32_SYSCFG=y
@@ -358,27 +359,6 @@ CONFIG_STM32_I2CTIMEOUS_START_STOP=700
 # XXX this is bad and we want it gone
 CONFIG_I2C_WRITEREAD=y
 
-#
-# ADC configuration
-#
-# Enable ADC driver support.
-#
-# CONFIG_ADC=y             : Enable the generic ADC infrastructure
-# CONFIG_STM32_TIM1_ADC=y  : Indicate that timer 1 will be used to trigger an ADC
-# CONFIG_STM32_TIM1_ADC3=y : Assign timer 1 to drive ADC3 sampling
-# CONFIG_STM32_ADC3_SAMPLE_FREQUENCY=100 : Select a sampling frequency
-#
-CONFIG_ADC=y
-CONFIG_STM32_TIM4_ADC3=y
-# select sample frequency  1^=1.5Msamples/second
-# 65535^=10samples/second 16bit-timer runs at 84/128 MHz
-CONFIG_STM32_ADC3_SAMPLE_FREQUENCY=6000
-# select timer channel 0=CC1,...,3=CC4
-CONFIG_STM32_ADC3_TIMTRIG=3
-CONFIG_ADC_DMA=y
-# only 4 places usable!
-CONFIG_ADC_FIFOSIZE=5
-
 #
 # General build options
 #

nuttx/configs/px4io/io/defconfig

@@ -131,6 +131,7 @@ CONFIG_STM32_BKP=n
 CONFIG_STM32_PWR=n
 CONFIG_STM32_DAC=n
 # APB2:
+# We use our own ADC driver, but leave this on for clocking purposes.
 CONFIG_STM32_ADC1=y
 CONFIG_STM32_ADC2=n
 # TIM1 is owned by the HRT