Both Linux bios and rockbox have to link a binary VGA code with some gpl code...and that is illegal because it's a GPL violation could we permit that in the GPLv3?