Se eu fosse você, eu:
- Participe de um backup completo do sistema
- Faça o download e grave um DVD de 14.04.2 versão de 32 bits , já que você parece ter necessidade do OpenOCD, que não parece gostar de versões de 64 bits.
- inicialize e siga estas instruções ,
- na etapa 8, escolha "alguma outra coisa",
- exclua a partição 200
/dev/sda6
e crie um formato de 32GB/
e 128 GB/home
emext4
. - deixe o restante não alocado (para adicionar algo quando esse ficar cheio em algum lugar no futuro)