On Wed, Jan 23, 2013 at 09:15:46 +0000, Gary Stainburn <gary.stainburn at ringways.co.uk> wrote: > >The kernel that doesn't work is >3.6.11-5.fc17.x86_64 > >The kernel that does work is >3.6.11-1.fc17.x86_64 3.7.4-101.fc17 has been built for f17. You might try seeing if it is fixed there.