[RFC PATCH 2/4] ARM: Exynos4: Add thermal sensor driver platform device support