This fixes the sample shellscripts given in the comments of
drivers/char/random.c.

The scripts save and restore random seeds for /dev/random across
reboots.