x86: mach_summit to summit