Remove KPROBES option from Kconfig.debug and include
kernel/Kconfig.instrumentation.
Signed-off-by: NHaavard Skinnemoen <hskinnemoen@atmel.com>