Hi,

I found out why Linux loaded using -kernel does not work: it's loaded
as a binary image! No wonder why it didn't work.

With this patch (applied after the previous three, current OpenBIOS)
Linux executes until via_calibrate_decr, where it hangs.