Hoy ha aparecido de repente una ventana emergente en mi escritorio, avisándome de la disponibilidad del nuevo Kernel de Linux, y ofreciéndome actualizar a la nueva versión «linux-image-extra-3.13.0-39-generic«.Al aceptar la actualización, el sistema me avisó de que en la partición que asigné al directorio /boot el día en que instalé el sistema operativo, no quedaba suficiente espacio, así que no he podido actualizar sin antes hacer unos reajustes.