[U-Boot] ARM mach-types.h (was: Re: [PATCH 1/5] add DOCKSTAR machine type)

[Reinhard Meyer <u-boot@emk-elektronik.de>]

Dear all,
 >>   #define MACH_TYPE_WLAN_COMPUTER        2966
 >> +#define MACH_TYPE_DOCKSTAR             2998
 >>
 >
 > NAK.  We don't edit mach-types.h manually.
 >
 > If you need it updated, please send a request to do so to the acting
 > ARM custodian (ahem).
 >
 > But also note that we always sync against the current mainline Linux
 > kernel, and this does not have an entry for DOCKSTAR yet (it ends at
 > WLAN_COMPUTER), so a new sync would not change the file yet.

Since it apparently takes roughly two months for additions to the database
at http://www.arm.linux.org.uk/developer/machines/ (last entry: 3061 right now)
to trickle to the u-boot file, there seems to be a need for an interim solution.

Currently I conditionally add the MACH_TYPE_xxx locally to the <board>.h
file, but I am quite sure a patch with that would be rejected...

Of course best would be to get rid of mach-types.h completely. It does not
really seem suited to differentiate between board variants...

Reinhard