[IA64] sgi-xp: fix printk format warnings