Hey Jan adding "efi=no-rs" to GRUB_CMDLINE_XEN_DEFAULT= and then grub2-mkconfig -o /boot/grub2/grub.cfg didnt give the changes we hoped for! So I would have to go for the PCI Serial Card? Can you recommend one? On the minicom side an USB2Serial adapter should be sufficient, or not?