[PATCH 0/6] Add basic device tree support for Samsung's Exynos4 platform