nuttx/boards/arm/lpc54xx/lpcxpresso-lpc54628/Kconfig