Host identity protocol for Linux