[Linaro-open-discussions] Linux kernel sync up