CONFIG_OPROFILE_NMI_TIMER=y
