Did some work on jumping to the kernel in 64 bit mode...