(Note to English readers: Do not try to translate this:
lo del Güindous ni de coña!, jeje)
![smile :)](http://pixinsight.com/forum/Smileys/default/smile.gif)
Si no me equivoco, tu procesador soporta EMT64, así que podrías haber instalado un sistema operativo de 64 bits, y usar PI para x86_64. En cualquier caso, no debería haber ningún problema con esa configuración. Voy a tratar de montarme una máquina virtual con Linux de 32 bits a ver si averiguo algo.
Abre una ventana de terminal, cd al directorio bin donde tienes PI instalado, y entra estos comandos:
export LD_LIBRARY_PATH=.:./lib
ldd ./PixInsight
Copia la salida de ldd y ponla aquí, a ver qué hay.