It looks like the ACPI SCI interrupt gets marked as edge triggered, and then all PCI interrupts (which are level triggered) can't be shared with it. The ACPI interrupt is in fact probably "conforming", but the code does not deal with that. It should be changed to deal with it.