Use default DDR_SDRAM_FREQ (400 MHz)