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