incubator-nuttx/boards/arm/s32k1xx/ucans32k146/Kconfig