Created attachment 98431 [details] Dmesg from 3.9-rc5 This is a fork of bug #56501 and bug #55611. A separate bug is needed because a decision was made to limit these two bugs to non-rescanning of the PCI bus. Feel free, however, to refer to any relevant files (e.g. kernel configs and DSDT dump) or comments attached to these bugs. Due to yet another bug (#56531), the kernel fails to assign PCI resources to the radeon card in the dock station. As you can see from the attached dmesg, it causes an oops or even a panic in the radeon driver, among other bad things. Please fix the radeon driver so that it doesn't dereference a kernel NULL pointer even when given bad PCI resources.
Created attachment 98461 [details] Possible fix This should fix the issue.
Yes, the issue is fixed. Thanks!