mkelfImage-2.2 and the kernel exec source code, and the elfboot toolkit