I saw that denx kernel has no support for double fec of MPC875. Is this true? Then I'm going to pick up stuff from Arabella and putting into denx kernel, is it the best way or not? Thank you.