PCI bus stuff and ACPI driver