# CONFIG_MPC512X_DMA is not set
