Fast random number generator as a kernel module for Linux