Just updated the CuBox i4-Pro to kernel 3.16-rc7, from the source code available here: https://github.com/jmontleon/fedora-20-cubox-i_hb/tree/3.16-rc7

$ uname -a
Linux rgcubox 3.16.0-rc7 #1 SMP PREEMPT Wed Jul 30 11:31:19 EDT 2014 armv7l armv7l armv7l GNU/Linux

I had originally used an old ‘spare’ micro-SD card (Class 4, 16GB) but had noticed sluggish performance and random filesystem errors, eventually leading to the entire card being rendered unusable, as the partition table itself was corrupt..     I later found out that you – apparently – have to use at least a Class 10 Micro-SD Card, and when I changed to one of these cards (SanDisk Ultra 64GB MicroSDXC Class 10), the performance was far better, and the filesystem problems disappeared..

Robert Gadsdon.   July 30, 2014.