Your co-worker asserts that microkernel-based design of an OS is fraught with performance problems. She gives the example of MACH OS which takes 900 cycles to do border crossing (i.e., switching hardware address spaces on an x86 processor architecture) from user space to kernel space as her argument. How would you counter her argument?