The issue is still reproduceable with the mainline Kernel 3.13, and the workaround with setpci is still working.
The issue is still reproduceable with the mainline Kernel 3.13, and the workaround with setpci is still working.