[PATCH 02/10] microblaze: cache: replace XILINX_USE_DCACHE -> CONFIG_DCACHE