Replace of_socket_address_ipx_get()

Instead, provide getters and setters for the various address parts.