RE: [PATCH] ARM: EXYNOS4: Add USB EHCI device to Origen