px4-firmware/makefiles/nuttx/board_px4io-v1.mk