Aplicativo do usuário do Linux para modificar o Gerenciador de Inicialização EFI
