ACPI: Make sure we call acpi_register_gsi() even for default PCI interrupt assignment