5d73d1e320c3 ("random: fix data race on crng_node_pool")