# CONFIG_TI_SCI_INTR_IRQCHIP is not set
