IA-64 Linux Kernel: Design and Implementation