[inetstack] Cleanup ARP Query Control Flow

[ppenna]

Description

When receiving data in an active socket, we should clean up ARP query control flow.

References

• ActiveOpenSocket::receive()

[BrianZill]

I'm not sure what is meant by this.

But we should have a proper IP layer that handles datalink layer address resolution without exposing anything about it to TCP.

And our ARP component should be like the Window's IPv4 implementation in that it follows the IPv6 Neighbor Discovery protocol as closely as possible (only using ARP-formatted packets on the wire instead of Neighbor Solicitations/Advertisements).

[ppenna]

demikernel/demikernel#197