Re: [PATCH RESEND] random: fix the RNDRESEEDCRNG ioctl