Pull more PX4-specific code from the NuttX tree.

This cleans up our KConfig setup.