sencha: use $cheriot_elf to name any loaded firmware image

Bypass-Presubmit-Reason: no sencha CI tests

Change-Id: I8e82d894871a148c95059691681565c9dac340ff

cheriot.resc

diff --git a/cheriot.resc b/cheriot.resc
index 1dce9fd..f5e5018 100644
--- a/cheriot.resc
+++ b/cheriot.resc
@@ -45,11 +45,11 @@
 
 logLevel 0 sysbus.cpu1
 
-$bin?=@out/cheriot/sencha/release/cheriot/cheriot/release/test-suite
+$cheriot_elf?=@out/cheriot/sencha/release/cheriot/cheriot/release/test-suite
 
 # Load the ELF file (useVirtualAddress = false, allowLoadsOnlyToMemory = false)
-sysbus LoadELF $bin false false
+sysbus LoadELF $cheriot_elf false false
 
-sysbus.cpu1 SymbolFile $bin
+sysbus.cpu1 SymbolFile $cheriot_elf
 sysbus.cpu1 IsHalted false
 

sencha.resc

diff --git a/sencha.resc b/sencha.resc
index 2a00994..68d5423 100644
--- a/sencha.resc
+++ b/sencha.resc
@@ -73,7 +73,7 @@
 $eflash_address ?= 0x20000000
 sysbus LoadBinary $tar $spi_flash_load_address
 sysbus LoadBinary $sc_bin $eflash_address
-#sysbus LoadSymbolsFrom $kernel
+#sysbus LoadSymbolsFrom $cheriot_elf
 
 # If we have a I2S peripheral, setup an audio file that we can use
 # for sampling data. Note that the format for these files is raw