CONFIG_TICKSOURCE_GPTMR0 is not available for the selected architecture x86.
Result is shown for architecture blackfin
Gptimer0 (SCLK domain)
configname: CONFIG_TICKSOURCE_GPTMR0
Kernel Tick Source
└─>Gptimer0 (SCLK domain)