Re: [fedora-arm] Run fedora on the IFC6410 board