ia64/xen: add a necessary header file to compile include/xen/interface/xen.h