nuttx/boards/arm/a1x/drivers
..
Kconfig