Discover and link C stub dependencies in --xen mode

This allows us to move the 1s complement code from mirage-platform to mirage-tcpip.