samsung: exynos4x12 uses its own custom HAL

Change-Id: I90157c4e28de16cb823d4fa458ad44a60cb36596
(cherry picked from commit 8ce218df52ba7decad713a07fc6ccae490d88b9e)