Add ml_top_control to Kelvin renode simulation

Change-Id: I7a16f462be6251e14ce2298e24e8494fc99cc41d

platforms/nexus/setup.sh

diff --git a/platforms/nexus/setup.sh b/platforms/nexus/setup.sh
index 0cf98a4..151aac6 100644
--- a/platforms/nexus/setup.sh
+++ b/platforms/nexus/setup.sh
@@ -91,9 +91,9 @@
     # Run the Bin program with renode
     local bin_file=$(realpath $1)
     local command="start;"
-    # TODO(hcindyl): Use vec_controlblock
-    (cd "${ROOTDIR}" && renode -e "\$bin=@${bin_file}; i @sim/config/kelvin_external_cpu.resc; \
-        ${command} sysbus.cpu2 PC 0; sysbus.cpu2 IsHalted false" \
+
+    (cd "${ROOTDIR}" && renode -e "\$bin=@${bin_file}; i @sim/config/kelvin.resc; \
+        ${command} sysbus.ml_top_controlblock WriteDoubleWord 0xc 0" \
         --disable-xwt --console)
 
 }

platforms/shodan/setup.sh

diff --git a/platforms/shodan/setup.sh b/platforms/shodan/setup.sh
index 1e81060..9e2ebe9 100644
--- a/platforms/shodan/setup.sh
+++ b/platforms/shodan/setup.sh
@@ -110,9 +110,9 @@
     # Run the Bin program with renode
     local bin_file=$(realpath $1)
     local command="start;"
-    # TODO(hcindyl): Use vec_controlblock
-    (cd "${ROOTDIR}" && renode -e "\$bin=@${bin_file}; i @sim/config/kelvin_external_cpu.resc; \
-        ${command} sysbus.cpu2 PC 0; sysbus.cpu2 IsHalted false" \
+
+    (cd "${ROOTDIR}" && renode -e "\$bin=@${bin_file}; i @sim/config/kelvin.resc; \
+        ${command} sysbus.ml_top_controlblock WriteDoubleWord 0xc 0" \
         --disable-xwt --console)
 
 }