Re: [Linaro-open-discussions] Linux kernel sync up