Re: [U-Boot] Clean-up of s3c24x0 header files