u-boot and uImage created from fedora-20-cubox-i4pro. Not modules, but enough to boot Fedora 20 in order to build a proper kernel.