Symbol: INVALID_ACPI_IRQ