No se conoce ningún sistema operativo de instrucciones x86 que no funcione, pero sí es importante destacar que hay varios que no soportarán el 2º procesador de ambos colocados: