ARM: rename mach_cpu_disable() to platform_cpu_disable()