/* @pkt: packet received by dhcp_handler() @len: length of the packet received  */
void efi_net_set_dhcp_ack(void *pkt, int len)
/* @pkt: packet received by dhcp_handler() @len: length of the packet received  */
void efi_net_set_dhcp_ack(void *pkt, int len)
{
	int maxsize = sizeof(*dhcp_ack);
	if (!dhcp_ack)
		dhcp_ack = malloc(maxsize);
	memcpy(dhcp_ack, pkt, min(len, maxsize));
}