Greetings,
The attached patches update ARM boards to use manifest constants from mach-types.h when setting bi_arch_number. I've split this change into two patches. The first patch includes the bi_arch_number changes for all ARM boards which either have no disparity between machine numbers/names or I'm otherwise confident that the machine numbers/names are correct. The second patch includes updates for ARM boards which were either never registered or the machine number has changed since the board was first submitted.
N.B. Some of the boards in the second patch have "hijacked" the numbers of other ARM machines. Owners of those boards should register their boards and obtain an official machine number here:
http://www.arm.linux.org.uk/developer/machines/?action=new
-- Regards, George