They would have to release source code to their version of the Linux kernel to compliment with GPL (and giving away details about their security implementation), BSD would be a better option for them.Why they can't use Linux kernel in their OSes? It's open source, so you don't really need to license it.