Hi,
The CPU and DRAM are clocked from separate PLL's, so there is no requirement to scale the DRAM frequency with the CPU, however I can't comment specifically on BSP behaviour as I'm not that familiar with it, although I don't think there is much in terms of DRAM frequency scaling, or if there is it is very limited.
Not much more then when running DRAM is at full speed, in low power modes self-refresh mode I believe.
There is a DRAM clock output you could measure on the board, if you have access to it DRAM_SDCLK.
Alternatively, if you have access to CLK1/2 signals you can use the PMU_MISC1 register to output and monitor various system clocks, including the DRAM clock, see the reference manual for further details.
Regards
Ross