Re: 3.10.5-200.fc19.x86_64 is broken