Eu tentei a atualização e parecia ter funcionado.
O pacote dell-laptop-dkms
falhou ao atualizar para o novo kernel (e não tenho idéia de onde obtê-lo em uma versão mais recente), mas o sistema parece estar funcionando de qualquer maneira (não notei nada faltando ainda).