No detailed statistics available; please enable the CONFIG_TIMER_STATS kernel option This option is located in the Kernel Debugging section of menuconfig (which is CONFIG_DEBUG_KERNEL=y in the config file)