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