Ja, die 64-bit-Unterstützung ist schon da. Ein Port auf eine neue Architektur ist aber nie trivial. Bei Merced mußte zunächst mal gcc/gas dazu gebracht werden, Code für Merced zu erzeugen. Und der Assembler-Code im Kernel ist insgesamt auch recht umfangreich. Außerdem soll die Architektur des Merced ja ziemlich von bisherigen verschieden sein. Das dürfte sich entsprechend auf den Kernel auswirken.