nuttx/boards/arm/lpc43xx/drivers
..
Kconfig