Fail gracefully when set_dhcp_option() is called with options==NULL.