[Ci-users] Latest kernel does not boot