CONFIG_OMAP_MPU_TIMER is not available for the selected architecture x86.
Result is shown for architecture arm

Use mpu timer

modulename: timer-gp.ko

and/or

time.ko

configname: CONFIG_OMAP_MPU_TIMER

System timer
└─>Use mpu timer
In linux kernel since version 2.6.12 )
Select this option if you want to use the OMAP mpu timer. This
timer provides more intra-tick resolution than the 32KHz timer,
but consumes more power.
source code:
depends
 or CONFIG_ARCH_OMAP |
| CONFIG_ARCH_OMAP1