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

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