nuttx/boards/arm/lpc54xx/drivers
..
Kconfig