Re: [U-Boot] [PATCH 05/14] S3C64XX: reference s5p cpu time system for s3c64xx timer