The Debian accident was related to the openssl PRNG, not the kernel's.