anyone tried to boot the kernel with kexec? Maybe that would separate loader problems from kernel problems?