CONFIG_VIRT_TIMER is not available for thedefaultarchitecture x86.
Result is shown for architecture s390

Virtual CPU timer support

modulename: vtime.ko

configname: CONFIG_VIRT_TIMER

Linux Kernel Configuration
└─>Base setup
└─>Virtual CPU timer support
In linux kernel since version 2.6.12  
This provides a kernel interface for virtual CPU timers.
Default is disabled.

source code:
arch/s390/kernel/vtime.c