The kernel is bootlooping right now. I sent the zImage to paulk from Replicant, so he could test with the UART debugger to see the crash log, but he doesn't have the right resistors to do it. So I will build my own cable as soon as I can.
But I think we need other things from the kernel of ODROID. Somebody already tried to implement new Mali driver, but it seems SurfaceFlinger crashes (maybe SAMSUNG proprietary blobs are not compatible with this new Mali blobs/driver?!)
Log here: http://pastebin.com/9SLkHVB1