CONFIG_OMAP_32K_TIMER is not available for thedefaultarchitecture x86.
Result is shown for architecture arm

Use 32KHz timer

modulename: timer32k.ko

configname: CONFIG_OMAP_32K_TIMER

Linux Kernel Configuration
└─>TI OMAP1 specific features
└─>Use 32KHz timer
In linux kernel since version 2.6.12  
Select this option if you want to enable the OMAP 32KHz timer.
This timer saves power compared to the OMAP_MPU_TIMER, and has
support for no tick during idle. The 32KHz timer provides less
intra-tick resolution than OMAP_MPU_TIMER. The 32KHz timer is
currently only available for OMAP16XX, 24XX, 34XX, OMAP4/5 and DRA7XX.

On OMAP2PLUS this value is only used for CONFIG_HZ and
CLOCK_TICK_RATE compile time calculation.
The actual timer selection is done in the board file
through the (DT_)MACHINE_START structure.

source code: