# CONFIG_DUMMY_IRQ is not set