re enable selinux so kernel boots on slimbean&add support for custome linaro toolchain