I've stumbled over these while I tried to figure out how the boot procedure is working on powerpc. Right now (in powerpc) the comment seems to reflect the code but not what is actually happening: regs r4-r7 aren't used and r3 is the device tree. Sebastian