Biden’s Executive Order 14071, forbids Russians from working with or using GPL’d software made in the USA. And that includes the Linux Kernel.