CONFIG_FSL_FTM_TIMER (not configurable)

modulename: timer-fsl-ftm.ko

and/or

fsl_ftm_timer.ko

configname: CONFIG_FSL_FTM_TIMER

Linux Kernel Configuration
└─>Device Drivers
└─>Clock Source drivers
└─>FSL_FTM_TIMER
In linux kernel since version 3.16 (release Date: 2014-08-03)  
Support for Freescale FlexTimer Module (FTM) timer.

source code:
drivers/clocksource/fsl_ftm_timer.c