8032bf1233a7 ("treewide: use get_random_u32_below() instead of deprecated function")