Wow, the new kernel is the 100th.

(That was the reason why the dist-upgrade took more than an hour!^^)