Introducing dcache line invalidation mechanism in the boot_ioc_read
function, when using platform without cache coherency.
Introducing two parameters in the defs_platform.h file:
CACHE_COHERENCE
Equals to 0 when no cache coherency
CACHE_LINE_SIZE
Number of bytes in a cache line
- TODO: Use the config register of the cache models to get
this size
Adding new platform configuration file for the
caba_vgsb_xicu_mmu SOCLIB platform.