Just to be clear, the GPL prohibits anyone from distributing the firmware unless they make an offer to provide the source to whomever they distribute it to. Since the source is not available, one can't make that offer, so the firmware should not be distributed. Obviously, this isn't going to...