[xen] add missing kernel symbols (#7189)