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