powerpc/85xx: minor fixes for MPC85xx DS board port