Actually I believe that's incorrect: stock Mach 2.x was considered a microkernel (though, like Mach 3.x, not always used as one in practice), and, versions of XNU since the first client release of Mac OS X are built on a modified Mach 3.0 kernel. But you're right that it's not used in a microkernel-like way.