working copy of the Linaro LEG kernel tree