nuttx/boards/hc/mcs92s12ne64/drivers/Kconfig