I agree, but there's already so much stuff that doesn't belong in kernel space inside Linux and FreeBSD, that this doesn't make it any worse. We will hopefully

I agree, but there's already so much stuff that doesn't belong in kernel space inside Linux and FreeBSD, that this doesn't make it any worse. We will hopefully see the rise of something based on seL4 (microkernel) or Barrelfish's multikernel design (one kernel per core, no shared memory), and fix those issues at the root.