Re: kernel.x86_64 3.5.0-2.fc17 question