Figure out how to get non-kernel binaries into the SOS ISO

[hawkw]

This can be hard-coded to the hello-world test elf for now, but eventually we'll want to generalise this for including userspace stuff in the OS distribution.