sim:config: Fix default cpio name

Change-Id: I4acbadd8027af13fe8c219da35ec52385aa9ccf8

shodan.resc

diff --git a/shodan.resc b/shodan.resc
index baa9be4..70f7f41 100644
--- a/shodan.resc
+++ b/shodan.resc
@@ -41,7 +41,7 @@
 
 # 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
+$cpio ?= @out/ext_builtins_release.cpio
 $kernel ?= @out/kata/riscv32-unknown-elf/release/kernel/kernel.elf
 sysbus LoadBinary $tar 0x44000000
 sysbus LoadBinary $cpio 0x46000000