[Etienne Brateau]

Fix a deadlock when running gnumach with smp enabled (even with only 1 cpu).
Tested with and without the patch, by doing a git clone (of gnumach repository).