nuttx/boards/arm/lpc31xx/drivers
..
Kconfig