the S3C6410 boot code