On 6 February 2017 at 08:41, Kevin Hao <kexin.hao@windriver.com> wrote:

Bump to the latest stable kernel for 4.1, 4.4, 4,8 and 4.9. Also set
the default kernel to 4.9.

Bruce also sent a series to upgrade various kernels which has been merged, can you rebase please.

Ross.