How can I get right DCACHE_RAM_BASE and DCACHE_RAM_SIZE parameters for my platform?