[U-Boot-Users] u-boot support s3c4510/s3c4530 or not ?