Afinal, o propósito não é fazer investimento agora e, sim, só depois que esses vídeos me derem um bom retorno com um treinamento online de gestão empresarial que estou desenvolvendo. Neste caso, qual a distro que você sugere?
Comece criando uma partição swap generosa.
Todas as distros Linux seriam iguais em sua maquina, exceto o ambiente gráfico, mas este pouco influi ao renderizar videos, o que é feito em modo texto puro "por trás do ambiente gráfico". (Ubuntu 14.04 e 14.10 usam libav)
Tire o escorpião do bolso, compre o máximo de ram que sua placa mãe suporta ( um pente de 8 gigas está na casa dos R$ 350,00 , tasca 10 gigas de swap e experimente, vai fazer muita diferença.
Com este pequeno investimento, você pode fazer dois videos no tempo de um e recuperar o investimento....
Ah! Seu processador suporta instruções de 64 bit, instale o Ubuntu 64 bit. Ele vai processar o video em blocos de 64 bit, o dobro dos 32 bit atuais. Já vai fazer (pequena) diferença, mas ajuda.
Desabilite tudo o que não usa, Bluetooth, modem, etc. na inicialização, revova o splash screen (edite o grub usando o argumento nosplash (também ajuda) pois modulos não serão carregados no sistema, deixando ele mais "leve".
Divida os videos em partes e depois "junte" os pedaços renderizados ( dá mais trabalho, mas diminui o tempo)
E finalmente, para dar mais uma "turbinada sem gastos" , instale o ffmpeg => leia aqui =>
http://www.edivaldobrito.com.br/como-instalar-o-ffmpeg-no-ubuntu/Se não resolver, vai melhorar muito....