mach: exynos4: remove useless machine code