CONFIG_OMAP_MPU_TIMER is not available for thedefaultarchitecture x86.
Result is shown for architecture arm
Use mpu timer
configname: CONFIG_OMAP_MPU_TIMER
Linux Kernel Configuration
└─>TI OMAP Common Features
└─>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.
timer provides more intra-tick resolution than the 32KHz timer,
but consumes more power.