Reference manual says that TCM RAMs are accessible at the maximum clock speed without any latency, but to perform accesses at a CPU speed higher than 520 MHz, one must disable the ECC on this RAM through the CPUFREQ_BOOST option byte. What happens if...