Qual arquivo você deve editar para alterar o tempo limite do menu do GRUB2 e a entrada de inicialização padrão?