Could anyone that had problems with small kernels please try a new ofwboot and see if it fixes this issue? It should print a warning now, but be able to boot the kernel. The root cause for the strange elf files (likely a bug in our kernel ldscript) is still under investigation (see discussion on tech-toolchain). Martin