removed CONFIG_PROFILING, CONFIG_OPROFILE