s3c64xx: move the reset_cpu function