Add include for samsung exynos4

Change-Id: I97c7be099f3ffb2ee7ff4b1ec4f717170d9fb5ff