¿que es la opcion Intro en el menu del grub?