Since de492c83 ("prandom: remove unused functions"),
get_random_int() no longer exists, so remove its reference from this
comment.

Fixes: de492c83 ("prandom: remove unused functions")
Signed-off-by: NJason A. Donenfeld <Jason@zx2c4.com>