Video- Como quitar opciones repetidas en el GRUB