GCC/Linaro 4.8 build fix, add configurable option to enable

Adapted from @Code-Craft MSM Kernel

Change-Id: I926dccedf2586b7ca04928ea287cc6df0bc187cb
t1: Set selinux to permissive

Change-Id: I15620d730daefd9fe6b5994a585ebd07fc363a8b
t1: Enable GCC 4.8 fixes

Change-Id: Ibbf5644d04eb1a1a9520dc5b20d5ac044375eade