[PATCH 16/25] microblaze: Migrate DCACHE/ICACHE to Kconfig