The Linaro kernel tree maintenance now documented