linux-linaro kernel trees move to 3.7 and 12.11 schedule