nuttx/boards/arm/efm32/drivers/Kconfig