BOOT_IMAGE=/bzimage xen-pciback.hide=(2e:00.1)(2e:00.3) vfio-pci.ids=10de:2488,10de:228b,8086:1539,1425:5001,1425:5401 isolcpus=8-15,24-31 initrd=/bzroot
Doing vfio this way is long deprecated which Fix Common Problems has been letting you know about
Jan 13 17:03:12 Debo-Server root: Fix Common Problems: Warning: Legacy PCI Stubbing found
You should remove that stubbing via the syslinux.cfg file and instead go to Tools - System Devices and check the items off which you need stubbed.