Update RVVI url to point to commit instead of branch.

The RVVI repository pushed a change to their branch. Pin to
specific commit.

Change-Id: I9c1a4c4cce5dbbc4777bff0c1b8f7d23932a791d

rules/repos.bzl

diff --git a/rules/repos.bzl b/rules/repos.bzl
index ef28c55..6e045a9 100644
--- a/rules/repos.bzl
+++ b/rules/repos.bzl
@@ -170,9 +170,10 @@
 def rvvi_repos():
     http_archive(
         name = "RVVI",
-        urls = ["https://github.com/riscv-verification/RVVI/archive/refs/heads/20240403.0.zip"],
-        sha256 = "23fe596757de0a7558eedf4ac872081462bb094e11abd2f5002a7e64f84982f9",
-        strip_prefix = "RVVI-20240403.0",
+        # Reflects tag 20240403.0 (before it's update)
+        urls = ["https://github.com/riscv-verification/RVVI/archive/5786f0d39b84f3fd15ef75b792bdea4281941afe.zip"],
+        sha256 = "18090eed44752f88e84d7631dc525c130ba6c6a5143d7cc2004dc2ca3641eaa2",
+        strip_prefix = "RVVI-5786f0d39b84f3fd15ef75b792bdea4281941afe",
         build_file = "@kelvin_hw//third_party/RVVI:BUILD.bazel",
         patches = [
             "@kelvin_hw//third_party/RVVI:0001-Rename-name-queue-to-avoid-conflict.patch",