To nemusi byt pravda. Pokud by mely obe architektury stejny endian, byla by situace mnohem jednodussi, ale i takhle muze byt dost veci spolecnych.
Mimoto, dvojnasobna velikost me nezajima, ja bych uvital moznost vyrobit si binarku, ktera pojede na linuxu na x86, x64, Alphe, SGi, PPC a Sparc/Ultrasparc. Mel bych jednu (pravda mozna i 100KB zabirajici binarku, ale nejakou drobnost by bez kecu udelala dekoliv.
GCC (G++) dělá překlad tak že přeloží zdroják do nějakého "pseudoassembleru" a potom v závislosti na architektuře vytvoří binárku pro potřebnou architekturu. Možná by šla tato vlastnost nějak použít pro tvorbu opravdu univerzální binárky.