Re: MPC8641 based custom board kernel Bug