linux/3.3: update ARM mach-types