REenable SElinux and add support for building with a8linaro toolchain