[PATCH 12/16] shared: Add util_get_random()