19.2.4 Initialize ECC RAM

This phase will initialize all of RAM (and possibly TCM) with zero values for devices that implement ECC RAM. On these devices, the first reference to this RAM after a power-on reset must be an aligned 4-byte store.