Asterizk:
That's what the linux ppl the the Mac ppl...
While true for original Mach the kernel in MacOS X is heavily modified to speed it up. That means that they have pulled most things that Linux has but Mach doesn't into the kernel.
I think we'll have to wait and see which is faster. I wouldn't bet on either right now.