Re: [RFC PATCH 3/4] ARM: Exynos4: Enable thermal sensor driver for origen board