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

Architected timer support

configname: CONFIG_HAVE_ARM_ARCH_TIMER

Linux Kernel Configuration
└─> Kernel Features
└─> Architected timer support

This option enables support for the ARM architected timer