[U-Boot] Requesting an update to ARM mach types