No final, resolvi isso instalando 12.04.3 LTS em vez de 13.10. Como parte disso, eu também "reconfigurei" meu esquema de particionamento:
sda1 /swap swap 4GB
sda2 /boot ext4 128MB
sda3 /var ext4 8GB
sda5 /opt ext4 4GB
sda6 / ext4 16GB
sda7 16GB
sda8 /home ext4 200GB
sda7 é espaço livre não formatado para instalações de teste e é onde eu eventualmente irei instalar o 13.10.
Em qualquer caso, o 12.04.3 LTS está instalado e funcionando muito bem.