Comment 2 for bug 999317

The CI job had picked up the new kernel however a problem in the linaro packaging was preventing the package from getting uploaded after the build. This is now fixed so we should have an updated kernel soon