it seems that the installation dies before or when it tries to `branch to kernel entry point 0x00100000' Why might this be? If I try booting from a serial console, over NFS or using rbootd will I run into the same problem?