mikko . viinamaki Fri, 12 Jul 2013 14:36:16 -0700
You could try the latest GNU Linux-libre kernel.
E.g. from http://jxself.org/linux-libre/