[PATCH] arm: update mach-types

[Marc Reilly]

Hi,

> PLwase specify against which kernel
It's directly from http://www.arm.linux.org.uk/developer/machines/

To be honest, I didn't even think about needing to match up against a specific 
version of the kernel, but I guess it does deserve consideration. 
From my understanding, the machine numbers are reserved forever and there is a 
1:1 correspondence between the mach number and the device itself. It's only 
the label that may change. So this patch would be bad if someone has changed 
their machine name, but hasn't changed their code within barebox.

I'll leave my thinking there because it's late friday arvo, and smarter minds 
have probably thought this one out before. :)

Otherwise, would it be better if I just submitted a "one liner" patch which 
just adds my new machine?

Cheers,
Marc