[fedora-arm] Kernel issue with Fedora 20 on a BeagleBoneBlack