Meu servidor é uma máquina virtual OpenVZ, então as atualizações do kernel são gerenciadas pelo host (explicações aqui e aqui ).
Eu tive que remover manualmente linux-image-extra-4.13.0-45-generic
e linux-image-4.13.0-45-generic
, seguindo o post # 3 em este tópico .