[IA64] ioc4_serial: fix printk format warnings