85xx: fix the wrong DDR settings for MPC8572DS