Resultado de la búsqueda: modificar el grub en debian