[PATCH for-4.9.y 04/14] random: convert get_random_int/long into get_random_u32/u64