[colanderman]

Edited my post to include a link with code references and discussion by kernel devs. The RNG state is protected by a spinlock.