- kernel-config-android-exynos4: more cleanup