sencha: misc fixups

- make the default setting for $tar more sensible
- load symbols from the $cheriot_elf so the cli can use them w/o
  having to modify sencha.resc

Bypass-Presubmit-Reason: no sencha CI tests

Change-Id: Ib841678337bdf6fa95c1987aad1e2e1ae739013f

sencha.resc

diff --git a/sencha.resc b/sencha.resc
index bef592f..efcabec 100644
--- a/sencha.resc
+++ b/sencha.resc
@@ -67,7 +67,7 @@
 sysbus.cpu1 CLIPort $cli_port
 sysbus.cpu1 WaitForCLI $wait_for_cli
 
-$tar ?= @out/cantrip/shodan/release/ext_flash.tar
+$tar ?= @out/cheriot/sencha/release/ext_flash.tar
 $spi_flash_load_address ?= 0x44000000
 $sc_bin ?= @out/cantrip/shodan/release/tmp/matcha-tock-bundle.bin
 $eflash_address ?= 0x20000000
@@ -111,6 +111,6 @@
 
 # Enable for instruction & memory profiling. Data are written to
 # $ROOTDIR/cache/renode/mpact_cheriot_renode* (to be fixed).
-#cpu1 SymbolFile $cheriot_elf
+cpu1 SymbolFile $cheriot_elf
 #cpu1 InstProfile true
 #cpu1 MemProfile true