Bug#67598: gnumach 2.95.2 update

[Roland McGrath]

I'm not planning on doing any work on gnumach.  When I do get hacking
again, I will only do oskit-mach.  I don't think Thomas or anyone else
plans to do any significant kernel hacking, just necessary maintenance like
this.  So I think you (and Kettenis and Okuji) should just feel free to
check these things in when you have tested them and are sure there is no
potential issue of semantics change that we haven't reviewed.