I don't understand your argument. We are talking about kernel architecture (and specifically, monolithic kernels vs microkernels).
Specifically, I brought up QNX as an example of microkernel-based OS used in the wild, as opposed to Hurd and (presumably) Minix - which gets to show that they can be made to work. However QNX is marketed is no concern of mine.