A simple Linux kernel module implementing a stochastic serial device