Fork discovery from the master Nuttx 6.22 build, so I can start hacking...

Crudely allows STM32F4-Discovery boards to again work for PX4 development.