Danke, jeebee;
schade;
Lösung 2 hatte ich selbst schon, allerdings scheint (direkt mit as als .o übersetzt)
Code:
.section .text
.type Mul128 , @function
.globl Mul128
Mul128:
	movq %rdi,%rax
        mulq %rsi
        ret
.end
zu genügen - oder sind da Probleme zu erwarten?

im übrigem eigentlich ein Compilermangel - oder gibt's 64-Bitprozessoren die bei einer
64Bit Mult. kein 128Bit ergebnis liefern?