- kernel-config-android-exynos4: improvement for HDMI output