Linaro 4.8.3 2014.04
also using 3.4.86 kernel headers instead of 3.1.1