# CONFIG_SPARSE_IRQ is not set