On Wed, Jan 23, 2013 at 09:15:46 +0000,
Gary Stainburn <gary.stainburn(a)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.