nuttx/boards/arm/xmc4/xmc4500-relax/Kconfig