Xen is 4.13.1-9.1 and Dom0 kernel is 4.19.0+1. Not surprising for a Citrix LTS