# CONFIG_XGENE_DMA is not set