Also some minor style cleanups.
This loader is quite functional and can load and run kernels. The kernels don't quite work right after loading but that should be easily fixable.