Re: [U-Boot-Users] Linux kernel startup (s3c24xx)