Uniting the Linux random-number devices