ppc4xx_devs.c: Move DDR SDRAM controller model to ppc4xx_sdram.c