Hello all, in earlier days apt-get dist-upgrade did automatically upgrade the kernel, too. This behavior is no more. When did this change ? Best regards Hans