Hi all,

I didn't receive any feedback about this, maybe because the "PATCH" name was missing from the subject...

In my opinion, it's quite strange that a file in board/atmel/at91rm9200dk sets gd->bd->bi_arch_number to MACH_TYPE_AT91RM9200 instead of MACH_TYPE_AT91RM9200DK.

And, in fact, on my at91rm9200dk board U-Boot cannot boot newer versions of Linux, where the default mach type for at91rm9200 boards has been removed (see commit number 87fee013a23ad02821699aef5b76891b42959182 on Linux).

The patch in attachment makes U-Boot do its job, so it should be the right fix.

But I wouldn't be surprised if I made a mistake, so please, tell me if this patch is the right fix to the problem.

If so, please commit it to the U-Boot git repository (it's already in git "format").

Many thanks,

Claudio