Please repeat the test from comment#10 with this test kernel and pci=nomsi iommu=off added to the kernel command line in both boots.