Kernel source and configuration for Fedora 20 on the Cubox-i4Pro