No subject

added entries for ID 2000 to their mach-types file, which have long
since been taken by other people.

(Why people do this is beyond me - the allocation of them is soo trivial
it's untrue, and actually it doesn't require accurate information.  As
one company once did, they allocated an ID using an uninteresting and
ficticious name in the database, and when they were ready for release,
they requested it be changed to their product.)

Anyway, the answer is that if there isn't a way to configure it in the
boot loader, then the above is the only way around it.  (uboot has been
modified to allow the ID to be changed via its command line.)