Wirklich nur?
Da würde ich mich nicht drauf beschränken. Sehe da keinen Mehrgewinn nur x64 Software drauf laufen zu lassen. Und die nächste Frage ist, was es kosten würde einen x64 kern zu entwicklen und ob das überhaupt geht.
Bin da zu wenig in der Materie drinn, der Cox wäre da nen Ansprechpartner.
