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