kernelconfig_penguin
CONFIG_ATMEL_CLOCKSOURCE_TCB is not available for the default architecture x86.
Result is shown for architecture arm

Timer Counter Blocks (TCB) support

configname: CONFIG_ATMEL_CLOCKSOURCE_TCB

Linux Kernel Configuration
└─> AT91/Microchip SoCs
└─> Timer Counter Blocks (TCB) support

Select this to get a high precision clocksource based on a
TC block with a 5+ MHz base clock rate.
On platforms with 16-bit counters, two timer channels are combined
to make a single 32-bit timer.
It can also be used as a clock event device supporting oneshot mode.