Ahh I see. Not paying attention, I didn't realize you were
formatting it in a USB->SD Card adapter, and then transferring it to the built-in slot
in the laptop.
So I'd say it's worth trying a newer kernel, even grabbing a top of the list
3.17rc2 one from koji [1]. Keep the SD Card formatted ext4, insert it, mount it, then
'dmesg > dmesg.txt' and 'lspci -vvnn > lspci.txt' and attach them
both to a
bugzilla.kernel.org bug report. Let them know what other kernel versions
you've tried.
Chris Murphy
[1] You need kernel, kernel-core, and kernel-modules RPMs. Then dnf/yum install *rpm from
the same directory.
Well, fc21 will soon be out. I do not want to mix and match.