After the boot prompt, I get a "PCI Cannot allocate resource region 4 of device 00:07.1" ...

Please help.