# CONFIG_TS4800_IRQ is not set