There are disagreements, but let's put it this way: If even the FSF would call it okay, then it's almost certainly okay. And the FSF will tell you that the kernel license doesn't infect user space.