xen: add xen_arch_resume()/xen_timer_resume hook for ia64 support