px4-firmware/makefiles/nuttx/config_px4io-v1_default.mk