nuttx/boards/arm/lpc54xx/drivers/Kconfig