No, only the illegal copies are banned, not the properly licensed one. It's not that Linux src is banned, but a redistribution with the GPL stripped would be.