Patch series to avoid message resizing for x86_64 (v2)

[Flavio Cruz]

Hello

Sending the updated patch series with the warnings fixed. The only
difference is in the glibc patch (added a cast when calling
clean_inlined_ports) and the MiG patch, which required a 3 line change
to add appropriate casts from mach_port_name_inlined_t* to mach_port_t*
in server.c.

Flavio