Add a hlt kernel

This is for virtualization. It's a kernel that does nothing but
hlt. I'm adding the binary because, well, it's 734 bytes,
so we don't need to build it.

Signed-off-by: Ronald G. Minnich <rminnich@google.com>