<html>
<head>
<meta content="text/html; charset=utf-8" http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<div class="moz-cite-prefix">On 02/08/2016 14:39, Remi Gacogne
wrote:<br>
</div>
<blockquote
cite="mid:dfa7cd2c-3a8e-7024-be19-42955f072a6b@powerdns.com"
type="cite">
<blockquote type="cite" style="color: #000000;">
<pre wrap=""><span class="moz-txt-citetags">> </span>This was a manual step and not part of the dist-upgrade process.
</pre>
</blockquote>
<pre wrap="">I'm a bit surprised about that, but OK.
</pre>
</blockquote>
You need to install a metapackage to get the kernel upgraded: see<br>
<a class="moz-txt-link-freetext" href="https://www.debian.org/releases/stable/i386/release-notes/ch-upgrading.en.html#newkernel">https://www.debian.org/releases/stable/i386/release-notes/ch-upgrading.en.html#newkernel</a><br>
<br>
</body>
</html>