xen: compilation fix of drivers/xen/events.c on IA64