[IA64] Avoid "u64 foo : 32;" for gcc3 vs. gcc4 compatibility