Some governments have access to that source code, but it gives them no guarantees that what they run is faithful to it, and it doesn't let them replace the usual products with something audited. Even if they can compile something out of that source, I suspect they can't boot or run the whole thing, and they certainly can't distribute it.