[PATCH] update maintainer for /dev/random