xen: add missing definitions in include/xen/interface/vcpu.h which ia64/xen needs