Kernel 6.x + XEN 4.17

Take at look at this post, the author managed to compile a qubes ISO with a Xen version > 4.15 and (possibly) a newer kernel.