[Fedora-packaging] Question about binary firmware/SDK