[PATCH 13/16] gdhcp: Use util_get_random()