Just updated the DreamPlug and Raspberry Pi to Kernel 3.13.1.   DreamPlug kernel from kernel.org, and the Pi from GitHub, as usual..

Fedora release 18 (Spherical Cow)
Kernel 3.13.1 on an armv5tel (ttyS0).............
$ uname -a
Linux rgdreamplug 3.13.1 #1 PREEMPT Thu Jan 30 17:21:47 GMT 2014 armv5tel armv5tel armv5tel GNU/Linux

Pidora release 19 (Raspberry Pi Fedora Remix)
Kernel 3.13.1+ on an armv6l (ttyAMA0)
...........
$ uname -a
Linux rgpi 3.13.1+ #1 PREEMPT Thu Jan 30 16:47:35 GMT 2014 armv6l armv6l armv6l GNU/Linux

Sadly, the Pidora 19 repository seems to be lacking any recent updates…  Hopefully this will be fixed, soon..

Although Fedora 18 on armv5 was supposed to be ‘functionally stabilised’ after the release of Fedora 20, there are still some occasional updates available – mostly security-related (selinux etc..)..

Robert Gadsdon.   January 30, 2014