if the code is legally public domain doesnt that make it gpl compatible? this would be a non issue for linux, the only thing that matters is its not stolen code that was originally under a different license thats more strict in a incompatible way