config: track cpio pathnames change

Change-Id: I14fa9b414a0b371979bea32ffa47345e23c14f3b

shodan.resc

diff --git a/shodan.resc b/shodan.resc
index 4c49ea7..3e62632 100644
--- a/shodan.resc
+++ b/shodan.resc
@@ -43,7 +43,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_builtins_release.cpio
+$cpio ?= @out/kata/riscv32-unknown-elf/release/ext_builtins.cpio
 $kernel ?= @out/kata/riscv32-unknown-elf/release/kernel/kernel.elf
 sysbus LoadBinary $tar 0x44000000
 sysbus LoadBinary $cpio 0x46000000