Small update to drivers/gpu/ion/exynos/exynos_ion.c from update 12