Combine instrumentation menus in kernel/Kconfig.instrumentation