technisch ist das schon möglich, nur fallen da halt zusätzliche Kosten an, die man mit nur einem Kernel für Desktop- und Serversysteme eben nicht hat.