px4-firmware/nuttx/configs/z8encore000zco/Kconfig