Comment 4 for bug 1474801

If I'm understanding you correctly, this is not a kernel problem. The problem is that the proprietary driver has been removed from the archive and that is the real issue here.