ACPI: scan: Make acpi_processor_add() check the device enabled bit