Microkernel Race Condition

Spent the last hours dissecting the new microkernel patch in the Linux kernel, hunting a subtle race...