sencha/bancha: track upstream changes for CHERIoT core version

Change-Id: I49d2e625fbe35f57319b7b2231485019ad0555cb

shodan_infrastructure/MpactCheriotCPU.cs

diff --git a/shodan_infrastructure/MpactCheriotCPU.cs b/shodan_infrastructure/MpactCheriotCPU.cs
index 211b05e..20c060d 100644
--- a/shodan_infrastructure/MpactCheriotCPU.cs
+++ b/shodan_infrastructure/MpactCheriotCPU.cs
@@ -97,6 +97,11 @@
             config_names.Add("dCache");
             config_values.Add(dcache_config);
         }
+        // If the core version is greater than 0.5, add it to the config.
+        if (core_version > 50) {
+            config_names.Add("coreVersion");
+            config_values.Add(core_version.ToString("X"));
+        }
     }
 
     public bool InstProfile {
@@ -129,6 +134,11 @@
         set => dcache_config = value;
     }
 
+    public uint CoreVersion {
+        get => core_version;
+        set => core_version = value;
+    }
+
     // ICPUWithHooks methods.
 
     public void AddHookAtInterruptBegin(Action<ulong> hook) {
@@ -205,6 +215,7 @@
     private UInt64 revocationMemBase;
     private UInt64 clint_mmr_base = 0x0;
     private UInt64 clint_period = 0;
+    private uint core_version = 50;  // Default is 50 (v0.5).
     private string icache_config = "";
     private string dcache_config = "";
     private List<GDBFeatureDescriptor>