Intel processors 920 and 955 (and probably others) have a cpu_model 
of 6.   This check in nmi_int.c keeps oprofile in timer mode unless
it is modified as shown.

Signed-off-by: Ray Bryant <ray.bryant@xxxxxxx>

Index: xen/arch/x86/oprofile/nmi_int.c
===================================================================
--- xen.orig/arch/x86/oprofile/nmi_int.c
+++ xen/arch/x86/oprofile/nmi_int.c
@@ -269,7 +269,7 @@ static int __init p4_init(char * cpu_typ
 { 
 	__u8 cpu_model = current_cpu_data.x86_model;
 
-	if (cpu_model > 4)
+	if (cpu_model > 7)
 		return 0;
 
 #ifndef CONFIG_SMP