Switch renode-mapped builtins artifact to a cpio archive.

Change-Id: If478c1b6ccde360633bbd75bea16ed5a9de13713

shodan.resc

diff --git a/shodan.resc b/shodan.resc
index e0f09c9..baa9be4 100644
--- a/shodan.resc
+++ b/shodan.resc
@@ -39,11 +39,12 @@
 # Load the bootrom into the 16k rom at 0x8000
 sysbus LoadELF @out/shodan_boot_rom/build-out/multihart_boot_rom/multihart_boot_rom_sim_verilator.elf
 
-# Load the system software tar and model ELF into external flash
+# Load the tarball of CAmkES components, cpio bundle of built-in files, and the seL4 kernel
 $tar ?= @out/ext_flash_release.tar
+$cpio ?= @out/ext_bundles_release.cpio
 $kernel ?= @out/kata/riscv32-unknown-elf/release/kernel/kernel.elf
 sysbus LoadBinary $tar 0x44000000
-sysbus LoadBinary @out/springbok_iree/samples/quant_model/mobilenet_v1_emitc_static 0x46000000
+sysbus LoadBinary $cpio 0x46000000
 sysbus LoadSymbolsFrom $kernel
 
 # Start both cores at the bootrom entry point.