Hi
According to following wiki, tCK=400MHz is selected instead of 800MHz for DDR3-1600.
http://processors.wiki.ti.com/index.php/Sitara_Linux_Training:_Tuning_the_DDR3_Timings_on_BeagleBoneBlack#Updating_SPL.2FU-boot
Actually, MT41K256M16HA-125 would operate in 800MHz.
Could it mean that tCK should be limited up to 400MHz as maximum with AM3352?
BestRegards