[PATCH V2] ARM: EXYNOS4: Add support for ORIGEN board