s3c6410 kernel porting