misc: Fix compilation with GCC 4.7

inspired by https://github.com/CyanogenMod/android_kernel_samsung_exynos5410/commit/d104a8213c053859942e7998522673b2dfbb6544
gardalte: Set SELinux Permissive