Delete old x86 validator.

src/trusted/validator_x86/testdata/64/mov-lea-rbp.test

Index: src/trusted/validator_x86/testdata/64/mov-lea-rbp.test
diff --git a/src/trusted/validator_x86/testdata/64/mov-lea-rbp.test b/src/trusted/validator_x86/testdata/64/mov-lea-rbp.test
deleted file mode 100644
index f112fc7f44472546bc56f82eb4fbd43407f35c7d..0000000000000000000000000000000000000000
--- a/src/trusted/validator_x86/testdata/64/mov-lea-rbp.test
+++ /dev/null
@@ -1,29 +0,0 @@
-@hex:
-  # Sample of using lea solution (instead of add) to update rbp.
-  #    mov %ebp, %ecx
-  #    lea %rbp, [%rbp+%r15*1]
-  89 cd \\
-  4a 8d 6c 3d 00
-@val:
-  VALIDATOR: Checking jump targets: 0 to 7
-  VALIDATOR: Checking that basic blocks are aligned
-  *** <input> is safe ***
-@rval:
-  VALIDATOR: Checking jump targets: 0 to 7
-  VALIDATOR: Checking that basic blocks are aligned
-  *** <input> is safe ***
-@rvald:
-  VALIDATOR: Checking block alignment and jump targets: 0 to 7
-  *** <input> is safe ***
-@vd-rval:
-  VALIDATOR: Checking jump targets: 0 to 7
-  VALIDATOR: Checking that basic blocks are aligned
-  *** <input> is safe ***
-@dis:
-  0000000000000000: 89 cd                                        mov %ebp, %ecx
-  0000000000000002: 4a 8d 6c 3d 00                               lea %rbp, [%rbp+%r15*1]
-@vdis:
-  0000000000000000: 89 cd                                        mov %ebp, %ecx
-  0000000000000002: 4a 8d 6c 3d 00                               lea %rbp, [%rbp+%r15*1]
-@rdfa_output:
-  return code: 0