Barrapunto

Mi currículum no es la típico de informática, trabajo con automatismos industriales desde hace 25 años, y la experiencia me ha metido en la cabeza un principio (que no un deseo):
Algo que corre sobre dos procesadores distintos, seguro que es malo, por lo menos sobre uno de ellos. (Quiero decir procesadores muy distintos, no miembros de la misma familia)
Mi modesta opinión es que el rendimiento de un SO se obtiene cuando está pensado para un determinado juego de instrucciones y arquitectura básica.
La teoría es muy bonita, pero al universalizar un proceso estamos disminuyendo drásticamente sus prestaciones.

Mantener viva la portabilidad asegura que habrá pocos vicios de diseño. Es una saludable práctica de ingeniería.

No se disminuyen prestaciones, si se diseña bien.

Se tiene que tener siempre una parte 'generalista' que es igual para todas las arquitecturas y una parte dependiente del hardware que tiene código para cada hardware en concreto, y que por supuesto aprovecha las capacidades del mismo al máximo. Este código dependiente del hardware suele estar en el nivel más bajo en el diseño del sistema operativo, y es llamado por los módulos más altos ('generalistas') de forma que no se pierda rendimiento.

Si quieres ver un ejemplo de lo que digo mira el directorio /usr/src/linux/arch/ donde tienes las partes (normalmente en ensamblador) dependientes del hardware de las distintas arquitecturas bajo las que funciona Linux.