# CONFIG_UIO_PDRV_GENIRQ is not set