exynos5: add support for preserving the kernel ION mappings

Change-Id: I97a750e7dcaea0e89e7068af6efc2b051aaae1df