If it's packaged with a game, even though it's running separately (is that even possible in a game console?), you would still have to distribute the binaries, would you not? And doesn't that break GPL?