[linux-cirrus] Setting HClk to lower speed

Hi all,
I'm using redboot to boot linux on my edb9302a board. For my current project, I need to clock the memory at only 50 MHz instead of 100 MHz. I assume that this is set in the redboot code, but I can't find where. The only place I see redboot set the CLKSET1 register is in HAL_PLATFORM_RESET(): 

HAL_WRITE_UINT32(EP9312_CLKSET1, 0x000398e7);
However, when I place a printk in ep93xx_clock_init, I see that CLKSET1 is set to 0x02a4e39e. Does anyone know how this gets set? 

Thanks,
Chase

Other related posts: