Bare metal "Hello World" images loadable with kexec