Start the Renode simulation at the correct entry point 0x8080

Oddly, 0x8090 was _not_ correct but it worked accidentally due to the layout of the original binary.

Change-Id: I19405839479002f7210c2cdae8f8a9669320f92b

hps.resc

diff --git a/hps.resc b/hps.resc
index 8548efc..c67baf7 100644
--- a/hps.resc
+++ b/hps.resc
@@ -52,8 +52,10 @@
 $tar ?= @out/hps_ext_flash_release.tar
 sysbus LoadBinary $tar 0x44000000
 
-# Start cpu0 at the bootrom entry point.
-sysbus.cpu0 PC 0x8090
+# Start cpu0 at the bootrom reset vector, which is stored immediately after the
+# bootrom interrupt vector table at 0x8080.
+# (see https://ibex-core.readthedocs.io/en/latest/03_reference/exception_interrupts.html for details)
+sysbus.cpu0 PC 0x8080
 
 # Start the vector core at address 0 of its instruction TCM.
 sysbus.cpu2 PC 0x34000000

shodan.resc

diff --git a/shodan.resc b/shodan.resc
index d81e232..eb307f1 100644
--- a/shodan.resc
+++ b/shodan.resc
@@ -48,8 +48,10 @@
 sysbus LoadBinary $cpio 0x46000000
 sysbus LoadSymbolsFrom $kernel
 
-# Start cpu0 at the bootrom entry point.
-sysbus.cpu0 PC 0x8090
+# Start cpu0 at the bootrom reset vector, which is stored immediately after the
+# bootrom interrupt vector table at 0x8080.
+# (see https://ibex-core.readthedocs.io/en/latest/03_reference/exception_interrupts.html for details)
+sysbus.cpu0 PC 0x8080
 
 # Start the vector core at address 0 of its instruction TCM.
 sysbus.cpu2 PC 0x80000000