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

Use mpu timer

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.