Remove KPROBES option from Kconfig.debug and include kernel/Kconfig.instrumentation.
Signed-off-by: Haavard Skinnemoen
menu "Kernel hacking" config TRACE_IRQFLAGS_SUPPORT bool default y source "lib/Kconfig.debug" endmenu
