[fedora-arm] Struggling to boot Novena (IMX6) board with Fedora ARM kernels