some serializing for dhcp_options