[PATCH] remove die_notifiers if CONFIG_DEBUG_KERNEL not set

Use of die_notifiers is a debugging feature that is only used if CONFIG_DEBUG_KERNEL is set. For a kernel without debugging there is no need of die notifiers. This will generate no code for notify_die if debugging is not on. Seems that there is an expectation that future distro releases will

[PATCH] remove die_notifiers if CONFIG_DEBUG_KERNEL not set

Use of die_notifiers is a debugging feature that is only used if CONFIG_DEBUG_KERNEL is set. For a kernel without debugging there is no need of die notifiers. This will generate no code for notify_die if debugging is not on. Seems that there is an expectation that future distro releases will