[Concept] [PATCH 01/23] linux: random: Add get_random_u32_below and prandom_u32_max