nuttx/boards/arm/lpc43xx/drivers/Kconfig