On 07.08.2013, Richard Shaw wrote: > $ rpm -qa kernel > kernel-3.9.9-201.fc18.x86_64 > kernel-3.9.11-200.fc18.x86_64 > kernel-3.9.10-200.fc18.x86_64 Try with 3.10.5 vanilla.