[U-Boot] ARM mach-types.h sync request

[Dirk Behme]

Update needed for

DevKit8000

Request according to

http://lists.denx.de/pipermail/u-boot/2008-September/040553.html

Dirk

Btw.: Unfortunately, there seems to be an issue with ARM machine 
registry and DevKit8000:

http://marc.info/?l=linux-omap&m=125053205123728&w=2

So please make sure *not* to use

2385
CONFIG_MACH_OMAP3_DEVKIT8000
MACH_TYPE_OMAP3_DEVKIT8000

The correct one is

2330
CONFIG_MACH_DEVKIT8000
MACH_TYPE_DEVKIT8000