Re: [B.A.T.M.A.N.] [PATCH -v2 19/26] batman-adv: rename random32() to prandom_u32()