ACPI: make sure every acpi_device has an ID