[PATCH 4/4] ARM: exynos4: Add thermal sensor driver platform device support