[U-Boot-Users] u-boot support Samsung processors S3C4510/S3C4530 (ARM7TDMI) or not ?