[PATCH 02/27] dhcp: Use shared get_random() function