rand/noise.c (noise_devrandom): Use new Linux system call `getrandom'.