HP Compaq DC5700 boot troubles.

I had problems trying to boot a freshly delivered HP Compaq DC5700 , it got stuck several times after

ACPI: Assume root bridge \_SB_.PCI0 bus is 0

with different distributions. Found the solution here

It's the pci=nommconf parameter you have to add with your kernel that does the trick.