[PATCH v2 08/13] ARM: s3c24xx: fix missing system reset