--- CONFIG/src/backend/archinfo_x86.c.old	2014-07-17 21:47:57.000000000 +0200
+++ CONFIG/src/backend/archinfo_x86.c	2014-07-17 21:48:42.000000000 +0200
@@ -342,6 +342,7 @@
          break;
       case 0x2D:
       case 0x3A:
+      case 0x3E:
       case 0x2A:
          iret = IntCorei2;
 	 break;