xen: sync with xen headers