default or selected kernelversion does not have config value CONFIG_CLKSRC_IMX_TPM.
Result is shown for kernelversion 6.9-rc4

Clocksource using i.MX TPM

modulename: timer-imx-tpm.ko

configname: CONFIG_CLKSRC_IMX_TPM

Linux Kernel Configuration
└─>Device Drivers
└─>Clock Source drivers
└─>Clocksource using i.MX TPM
In linux kernel since version 4.2 (release Date: 2015-08-30)  
Enable this option to use IMX Timer/PWM Module (TPM) timer as
clocksource.

source code: