Googling for hp dc5800 boot problems suggested adding "pci=nommconf" to the kernel command line. This cures the problem.
Other reports discussing this problem are at least three years old. Does its reappearance indicate a regression in kernel 3.10? Matthew -- To UNSUBSCRIBE, email to debian-kernel-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20130819130449.ga3...@bee.breeze.uk
