sencha: pass $kernel to enable loading symbols

Bypass-Presubmit-Reason: no sencha CI tests

Change-Id: I0da046cba70311815171dd1f29db46d6980022d4
diff --git a/platforms/sencha/sim.mk b/platforms/sencha/sim.mk
index 2347e76..018e442 100644
--- a/platforms/sencha/sim.mk
+++ b/platforms/sencha/sim.mk
@@ -81,6 +81,7 @@
     \$$repl_file = @${SENCHA_REPL}; \
     \$$tar = @$(EXT_FLASH_RELEASE); \
     \$$sc_bin =@$(TMP_RELEASE)/matcha-tock-bundle.bin; \
+    \$$kernel = @$(TMP_RELEASE)/kernel; \
     $(PORT_PRESTART_CMDS) i @${SENCHA_RESC_RELEASE}; \
         $(RENODE_PRESTART_CMDS) start"
 
@@ -92,6 +93,7 @@
     \$$repl_file = @${SENCHA_REPL}; \
     \$$tar = @$(EXT_FLASH_RELEASE); \
     \$$sc_bin =@$(TMP_RELEASE)/matcha-tock-bundle.bin; \
+    \$$kernel = @$(TMP_RELEASE)/kernel; \
     \$$cli_port = 4567; \
     \$$wait_for_cli = true; \
     $(PORT_PRESTART_CMDS) i @${SENCHA_RESC_RELEASE}; \
@@ -107,6 +109,7 @@
     \$$repl_file = @${SENCHA_REPL}; \
     \$$tar = @$(EXT_FLASH_DEBUG); \
     \$$sc_bin =@$(TMP_DEBUG)/matcha-tock-bundle.bin; \
+    \$$kernel = @$(TMP_DEBUG)/kernel; \
     $(PORT_PRESTART_CMDS) i @${SENCHA_RESC_DEBUG}; \
         $(RENODE_PRESTART_CMDS); start"
 
@@ -121,6 +124,7 @@
     \$$repl_file = @${SENCHA_REPL}; \
     \$$tar = @$(EXT_FLASH_DEBUG); \
     \$$sc_bin =@$(TMP_DEBUG)/matcha-tock-bundle.bin; \
+    \$$kernel = @$(TMP_DEBUG)/kernel; \
     $(PORT_PRESTART_CMDS) i @${SENCHA_RESC_DEBUG}; start"
 
 $(CHERIOT_SIM_OUT_DIR):