--- liboil-0.3.8/liboil/liboilprofile.c.arm	2007-05-06 13:45:34.000000000 +0200
+++ liboil-0.3.8/liboil/liboilprofile.c	2007-05-06 14:01:51.000000000 +0200
@@ -214,7 +214,7 @@
 }
 #endif
 
-#if defined(__arm__)
+#if defined(__arm__) && 0
 /* untested */
 static unsigned long
 oil_profile_stamp_xscale255(void)
@@ -291,6 +291,7 @@
 #endif
 #if defined(__arm__)
   {
+#if 0
     unsigned int id;
     __asm__ __volatile__ (
         "  mrc p15, 0, %0, c0, c0, 0 \n"
@@ -301,13 +302,16 @@
         _oil_profile_stamp = oil_profile_stamp_xscale255;
         break;
       case 0x41: /* ARM */
+#endif
         /* ARM chips are known to not have timestamping available from 
          * user space */
         gtod_warn = 0;
+#if 0
         break;
       default:
         break;
     }
+#endif
   }
 #endif