Tengo algunos servidores (alojados en gcp, por lo que adjuntar una ISO y ejecutar comandos no es una opción) que parecen haber muerto porque /boot se vació y se reiniciaron. Intenté copiar archivos del kernel desde otra instalación de ubuntu sin suerte; Estoy bastante seguro de que estoy buscando vmlinuz-5.4.0-72-generic; ¿Dónde puedo encontrar eso en la web? si lo agrego a /boot y hago un enlace simbólico a vmlinuz en /, ¿eso probablemente lo resolverá?