Como posso escolher qual kernel GRUB2 deve carregar por padrão? Eu instalei recentemente um kernel linux em tempo real e agora ele carrega por padrão. Eu gostaria de carregar o normal por padrão. Até agora, só consegui escolher o sistema operacional padrão .. e, por alguma razão, o...