Update benchmark device rule to support tags

Change-Id: I028910bf3e026f9f82f6c9723ba1bae351d1c03f
diff --git a/benchmarks/benchmarks.bzl b/benchmarks/benchmarks.bzl
index 895f4dd..c941f22 100644
--- a/benchmarks/benchmarks.bzl
+++ b/benchmarks/benchmarks.bzl
@@ -190,6 +190,7 @@
         kelvin_binary_info = None,
         benchmark_path = "benchmarks",
         arena_size_bytes = 1536 * 1024,  # 1.5MB
+        tags = [],
         **kwargs):
     # Creation of binaries for running on FPGA
     smc_flash_binary(
@@ -308,6 +309,7 @@
         name = "{}_extflash".format(name),
         kelvin_binary = ":{}_kelvin.bin".format(name),
         sc_binary = ":{}_sec_{}_bin".format(name, device_type),
+        tags = tags,
     )
 
     # Create a filegroup with all device targets.