cpu/board: added ADC driver for stm32f4discovery

This PR is based on #1469.