--- CONFIG/src/backend/archinfo_x86.c.orig	2011-12-10 13:25:13.145469768 +0100
+++ CONFIG/src/backend/archinfo_x86.c	2011-12-10 13:26:23.358198406 +0100
@@ -309,9 +309,9 @@
       case 0x1A:
       case 0x1E:
       case 0x1F:
+      case 0x25:
          iret = IntCorei1;
          break;
-      case 0x25:
       case 0x2A:
          iret = IntCorei2;
 	 break;