Redneck kernel && build with linaro