[U-Boot-Users] AT91RM9200 and -mtune=arm7dtmi ???