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-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
