1 files changed, 4 insertions, 4 deletions

diff --git a/arch/ia64/Kconfig b/arch/ia64/Kconfig
index c9307c99a1dc..b0de1132dfc0 100644
--- a/arch/ia64/Kconfig
+++ b/arch/ia64/Kconfig
@@ -15,6 +15,8 @@ config IA64
         select ACPI if (!IA64_HP_SIM)
         select PM if (!IA64_HP_SIM)
         select ARCH_SUPPORTS_MSI
+        select HAVE_OPROFILE
+        select HAVE_KPROBES
         default y
         help
           The Itanium Processor Family is Intel's 64-bit successor to
@@ -283,8 +285,8 @@ config SMP
           single processor systems.  On a single processor system, the kernel
           will run faster if you say N here.
 
-          See also the <file:Documentation/smp.txt> and the SMP-HOWTO
-          available at <http://www.tldp.org/docs.html#howto>.
+          See also the SMP-HOWTO available at
+          <http://www.tldp.org/docs.html#howto>.
 
           If you don't know what to do here, say N.
 
@@ -600,8 +602,6 @@ config IRQ_PER_CPU
 
 source "arch/ia64/hp/sim/Kconfig"
 
-source "kernel/Kconfig.instrumentation"
-
 source "arch/ia64/Kconfig.debug"
 
 source "security/Kconfig"