To get the kernel compiled with instrumentation turned on, I had to

apply the patch below. 
It looks to me like x86 and x86-64 were just left out when the

Kconfig.instrumentation file was created, but maybe I am

misunderstanding how the x86/x86-64 merge is supposed to work.
Soren
Signed-off-by: Soren Sandmann <sandmann@redhat.com>

---

 arch/i386/Kconfig   |    2 ++

 arch/x86_64/Kconfig |    2 ++

 2 files changed, 4 insertions(+), 0 deletions(-)
diff --git a/arch/i386/Kconfig b/arch/i386/Kconfig

index f6e44fc..b54a82d 100644

--- a/arch/i386/Kconfig

+++ b/arch/i386/Kconfig

@@ -1266,6 +1266,8 @@ source "crypto/Kconfig"
 source "lib/Kconfig"
+source "kernel/Kconfig.instrumentation"

+

 #

 # Use the generic interrupt handling code in kernel/irq/:

 #

diff --git a/arch/x86_64/Kconfig b/arch/x86_64/Kconfig

index aab25f3..a68865b 100644

--- a/arch/x86_64/Kconfig

+++ b/arch/x86_64/Kconfig

@@ -808,3 +808,5 @@ source "security/Kconfig"

 source "crypto/Kconfig"
 source "lib/Kconfig"

+

+source "kernel/Kconfig.instrumentation"

--

1.5.2.4
-