Delete old x86 validator.

src/trusted/validator_x86/testdata/64/incno67.test

Index: src/trusted/validator_x86/testdata/64/incno67.test
diff --git a/src/trusted/validator_x86/testdata/64/incno67.test b/src/trusted/validator_x86/testdata/64/incno67.test
deleted file mode 100644
index 3ec696ede2668e5c638b40e5121248020e0bb066..0000000000000000000000000000000000000000
--- a/src/trusted/validator_x86/testdata/64/incno67.test
+++ /dev/null
@@ -1,24 +0,0 @@
-@hex:
-  #  Show that we do accept the case of rip relative addressing, if 64 bit address.
-  ff 05 a4 76 39 00
-@val:
-  VALIDATOR: Checking jump targets: 0 to 6
-  VALIDATOR: Checking that basic blocks are aligned
-  *** <input> is safe ***
-@rval:
-  VALIDATOR: Checking jump targets: 0 to 6
-  VALIDATOR: Checking that basic blocks are aligned
-  *** <input> is safe ***
-@rvald:
-  VALIDATOR: Checking block alignment and jump targets: 0 to 6
-  *** <input> is safe ***
-@vd-rval:
-  VALIDATOR: Checking jump targets: 0 to 6
-  VALIDATOR: Checking that basic blocks are aligned
-  *** <input> is safe ***
-@dis:
-  0000000000000000: ff 05 a4 76 39 00                            inc [%rip+0x3976a4]
-@vdis:
-  0000000000000000: ff 05 a4 76 39 00                            [P] dontcare [%rip+0x3976a4] (suz)
-@rdfa_output:
-  return code: 0