DHCP: decoder for the TFTP Server Address option (RFC5859)