I maybe mistaken, but I think that processor is a powerpc , and I think someone may have already ported it. I'm a novice at embedded systems, but this looks like it may be helpful to you
http://lxr.free-electrons.com/source/?a=powerpc
They have a 3.6 source tree for powerpc , but I don't know if that will work on the board, is that a freescale board?