[U-Boot] ARM: Updating mach-types.h