UCS Kernel doesn't support XEN in PVH Mode

I would like to raise the request for an kernel update to be able to use UCS with XEN in PVH Mode.
Standard Debian kernel (at least Buster) do so.

Thank you.