A Port for IA64.

Does not yet support: clone, FPU and profiling. And includes
some subtle bugs which will hopefully be fixed later.