[libc] Use wall clock time as seed for the (non-cryptographic) RNG

[libc] Use wall clock time as seed for the (non-cryptographic) RNG #400