random: Use arch_get_random_int instead of cycle counter if avail