too many warning messages from gnumach

[Da Zheng]

Hello,

I now use the gnumach from the master branch in the git repository for
development. After I built and reboot my machine, I saw a few warning messages
printed on the screen: task xxxx deallocating an invalid port xx, most probably
a bug. What's worse, when I ran vim, there are too many such messages printed on
the screen and I cannot even use vim.

I think it's better to not print the message as done in the patch below. I
suppose the message is for debugging, but gnumach shouldn't print the message by
default.

diff --git a/ipc/mach_port.c b/ipc/mach_port.c
index d902e22..cefe0e4 100644
--- a/ipc/mach_port.c
+++ b/ipc/mach_port.c
@@ -605,7 +605,6 @@ mach_port_deallocate(
        kr = ipc_right_lookup_write(space, name, &entry);
        if (kr != KERN_SUCCESS) {
                if (name != MACH_PORT_NULL && name != MACH_PORT_DEAD) {
-                       printf("task %p deallocating an invalid port %u, most 
probably a bug.\n",
current_task(), name);
                        if (mach_port_deallocate_debug)
                                SoftDebugger("mach_port_deallocate");
                }

Best regards,
Zheng Da