Delete old x86 validator.

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

Index: src/trusted/validator_x86/testdata/64/mv_ebp_add_rbp_r15.test
diff --git a/src/trusted/validator_x86/testdata/64/mv_ebp_add_rbp_r15.test b/src/trusted/validator_x86/testdata/64/mv_ebp_add_rbp_r15.test
deleted file mode 100644
index dbb65e5c94a60853252dd3624fda8a7149a0e137..0000000000000000000000000000000000000000
--- a/src/trusted/validator_x86/testdata/64/mv_ebp_add_rbp_r15.test
+++ /dev/null
@@ -1,33 +0,0 @@
-@hex:
-  # Check that we handle sequence when not crossing block boundaries:
-  #   mov %ebp, %r11d
-  #   add %rbp, %r15"
-  # Note: Instruction sequence used in mv_ebp_add_crossing.hex to show problems
-  # when crossing block boundaries.
-  44 89 dd 4c 01 fd
-  
-  
-  
-@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: 44 89 dd                                     mov %ebp, %r11d
-  0000000000000003: 4c 01 fd                                     add %rbp, %r15
-@vdis:
-  0000000000000000: 44 89 dd                                     mov %ebp, %r11d
-  0000000000000003: 4c 01 fd                                     add %rbp, %r15
-@rdfa_output:
-  return code: 0