Board: use original cyanogenmod Exynos5420 kernel
use proprietary gralloc etc