Bug#619034: [Fwd: Re: FW: [regression] "BUG: Unable to handle kernel paging request at ffffc90013cd8000" and no sound card recognized]

[Svante Signell <svante.signell@telia.com>]

On Thu, 2011-08-18 at 00:37 -0500, Jonathan Nieder wrote:
> Hi Svante,
> 
> Some quick answers (just for reference, since atm testing a boot with
> pci=use_crs would be more useful).
> 
[...]
> Thanks again.  It looks like we are closing in at last.

I have uploaded a dmesg ouput to the kernel bug
https://bugzilla.kernel.org/show_bug.cgi?id=30552

The box boots perfectly with the additional option pci=use_crs.
Hopefully the kernel developers and Debian Kernel Maintainers can find a
permanent solution soon.

Thanks!