Talvez haja alguns problemas de compatibilidade? Tenho a impressão de que, para sistemas baseados em Intel, o compilador Intel poderia fazer um trabalho melhor que o GCC. Talvez já exista uma distro que tenha tentado isso? Eu acho que isso pode ser bastante simples usando o