CONFIG_senTec is not available for the selected architecture x86.
Result is shown for architecture m68k
CONFIG_senTec (not configurable)
configname: CONFIG_senTec
Linux Kernel Configuration
└─>senTec