CONFIG_AT91_TIMER_HZ is not available for thedefaultarchitecture x86.
Result is shown for architecture arm
default or selected kernelversion does not have config value CONFIG_AT91_TIMER_HZ.
Result is shown for kernelversion 6.5.1

Kernel HZ (jiffies per second)

configname: CONFIG_AT91_TIMER_HZ

Linux Kernel Configuration
└─>Atmel AT91 System-on-Chip
└─>Kernel HZ (jiffies per second)
In linux kernel since version 2.6.25 (release Date: 2008-04-16)  
On AT91rm9200 chips where you're using a system clock derived
from the 32768 Hz hardware clock, this tick rate should divide
it exactly: use a power-of-two value, such as 128 or 256, to
reduce timing errors caused by rounding.

On AT91sam926x chips, or otherwise when using a higher precision
system clock (of at least several MHz), rounding is less of a
problem so it can be safer to use a decimal values like 100.