ACPI: acpi_device_register() should call device_register()