I don’t think so. I got no sources or anything, but I think most nuclear missile silos and their software predate the linux kernel. And since we don’t really build nuclear weapons anymore but stick with the ones we already have, I don’t think that the linux kernel is really used in these kinds of sites.

However, that’s me guessing - wouldn’t say that I’m even 50% confident.