This can likely be shipped as binary code without dependencies like python, as the bug is in the kernel.