As I understand it, the Linux kernel is a singularly massive body of code, which, naturally, is attended by a relatively large body of, umm, issues. The monolithic kernel is rather challenging to maintain, as compared to a modularized system based on a microkernel, where the subcomponents are not so critically inter-connected.
If anything, Apple might port the next gen of OS X to L4-Pistachio, moving almost all of the system into Userland. L4 has very fast IPC and has been certified bug-free, but porting would be a rather major project, if even possible (Pistachio for ARM AArch64 is, AFAIK, not yet written). More likely, some flavor of modularized Linux will appear on L4 (like what the Hurd project was working toward for three decades).