[IA64] More Itanium PAL spec updates