Fixes for dcache