Comment 222 for bug 1068404

@Marco: you're right --- wrong place. But if anyone would arrive here on trying to solve a problem similar to mine: I can use the free drivers simply removing the nomodesetting flag from the boot command line (which was necessary to boot the installation USB). Thanks.