Merge "Update kelvin renode script to properly support debugging"

kelvin.resc

diff --git a/kelvin.resc b/kelvin.resc
index 4a8aead..52c043a 100644
--- a/kelvin.resc
+++ b/kelvin.resc
@@ -41,7 +41,6 @@
 # get reliably triggered. We should probably root cause this later when we have
 # time, but as a workaround setting the breakpoint to reset_addr+4 instead seems
 # to work fine.
-$gdb_port?=3333
-machine StartGdbServer $gdb_port false sysbus.cpu2
 
-start
+# Enable vec_controlblock verbose logging
+logLevel -1 sysbus.vec_controlblock