Add an exclusion list for the kelvin-binary glob

- This allows us to exclude tests that may no longer function in the
  Matcha context, even if they're okay for other Kelvin targets.

Change-Id: I301cc443409e45719e71c3ac43aa1acffd122251

third_party/kelvin-binary/BUILD

diff --git a/third_party/kelvin-binary/BUILD b/third_party/kelvin-binary/BUILD
index beb141e..a0d9e29 100644
--- a/third_party/kelvin-binary/BUILD
+++ b/third_party/kelvin-binary/BUILD
@@ -7,7 +7,21 @@
 
 tarball_data = {}
 
-[tarball_data.update({"@kelvin-binary//:{}".format(test): "kelvin_{}".format(test)}) for test in glob(["*.bin"])]
+[
+    tarball_data.update(
+    {"@kelvin-binary//:{}".format(test): "kelvin_{}".format(test)}) for test in
+        glob(
+            ["*.bin"],
+            exclude = [
+                "instr_fault_elf.bin",
+                "load_fault_0_elf.bin",
+                "load_fault_1_elf.bin",
+                "rv32ui_sh_elf.bin",
+                "rv32ui_sw_elf.bin",
+                "store_fault_0_elf.bin",
+            ],
+        )
+]
 
 matcha_extflash_tar(
     name = "kelvin_fpga_test_extflash",