Comment 10 for bug 1301839

Hello Alberto, here is the gpu-manager.log without nomodeset