px4-firmware/makefiles/config_px4io-v1_default.mk