spm: invalidate the data cache for the cactus image

There may be stale data cache entries prior to enabling MMU left
by earlier boot stages. With this change ensure that the region
used for the cactus image at SEL1 is invalidated in the data cache
prior to enabling MMU.

Signed-off-by: Olivier Deprez <olivier.deprez@arm.com>
Change-Id: I8683dfe59919a90ecf97ffc9ce62715394afcc9a
1 file changed