no lo encontraras, que yo sepa no existe ningun sistema operaticvo que utilice los dos procesadores...si, si ni el grandisimo windows vista(grandisimo pq necesitas mucho y hace poco), tendras que esperar algunos años a que salga algo que utilice los dos procesadores, pero si eres experto en linux y sabes manejarlo, es el unico que se puede "programar"(por asi decirlo) para que funcionen los dos procesadores.
PD: todas las tiendas de informatica, te venden la moto de que funcionan ambos procesadores, pero es mentira.
saludos