[$] Direct-to-device networking

It has been nearly one year since thefirst version of the device memory TCP patches was posted by MinaAlmasry. Now on the 14threvision, this series appears to be stabilizing. Device memory TCP isa specialized networking feature requiring a certain amount of setup, butit could provide a significant performance improvement for somedata-intensive applications.