xen: sync some headers with xen tree