Updated the DreamPlug to Kernel 4.0-rc5, using the standard source from kernel.org, without any problems..

Fedora release 18 (Spherical Cow)
Kernel 4.0.0-rc5 on an armv5tel (ttyS0)
......
]$ uname -a
Linux rgdreamplug 4.0.0-rc5 #1 Mon Mar 23 10:47:21 PDT 2015 armv5tel armv5tel armv5tel GNU/Linux

In case it might be useful, I have put a copy of the corresponding kernel .config here:  http://pastebin.com/4ywFSLNP

Robert Gadsdon.   March 25, 2015.