¡Pero mueno! ¡Tanto tiempo dando vueltas y no era nada!

$ gsettings set com.linuxmint.updates allow-kernel-type-selection true

Y en actualizaciones – ver ya puedes instalar y elegir el kernel que quieres usar.