Usuários que usam o ambiênte gráfico KDE agora podem editar as configurações do gerenciador de boots Grub