[fedora-arm] Cubietruck kernel