[PATCH 14/16] gdhcp: Remove dhcp_get_random()