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