NASA and open-source software

> However, if that new driver is released under the GPL, you have effectively released the work product of a government employee outside of the public domain.

It's not a problem at all, in fact GPL explicitly allows this. You can release the driver in public domain, but it can be distributed only under GPL conditions. I.e. you can't make it private and distribute it under a commercial license.