ARM: 7643/1: sched: correct update_sched_clock & ARM: PXA3xx: program the CSMSADRCFG register