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 [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
