CONFIG_HIGHPROFILE is not available for thedefaultarchitecture x86.
Result is shown for architecture m68k
Use fast second timer for profiling
configname: CONFIG_HIGHPROFILE
Linux Kernel Configuration
└─>Use fast second timer for profiling
In linux kernel since version 2.6.12
Use a fast secondary clock to produce profiling information.