Eu consegui trabalhar. Na verdade, tive que esperar. Depois de fazer login, leva até 2 minutos para carregar a área de trabalho da unidade, até então, é a tela preta com o ponteiro. O ia32-libs não é necessário para o Ubuntu 13.10 e os drivers de código aberto não detectam o hardware do 8750M (ainda não). Então, baixar o driver binário e instalar como mencionado no post acima funcionou.