fix wrong r4p0 mutex calls in exynos4_pmm.c