[fedora-arm] Re: Fedora on Raspberry Pi [Was: Raspberry Pi 2 and VC4 firmware license]