[U-Boot] Bug ? at91rm9200dk mach-type

Hi all,

before Linux developers removed the default mach type for at91rm9200 boards, I was able of booting Linux on my at91rm9200dk board using U-Boot.

After developers removed the default value, I couldn't boot Linux anymore.

The problem seems related to U-Boot, which passes a wrong mach type if compiled for the at91rm9200dk board.

The patch in attachment should fix the problem.

Let me know if I can give any further help.

Regards,

Claudio