samsung: exynos4x12 uses its own custom HAL

Change-Id: I90157c4e28de16cb823d4fa458ad44a60cb36596