Thibault, could you xserver-xorg-core 1.6 from unstable? PCI domains are supposed to be properly supported nowadays... thanks, Brice