[Bug 325995] Machine does not boot because of ACPI ( hangs when trying to set up PCI bus possibly with wrong or wrongly parsed BIOS info )