Symbol: ACPI_IRQ_MODEL_PLATFORM