px4-firmware/nuttx/configs/olimex-lpc2378/Kconfig