[PATCH] env: Kconfig: Adding default values for Microblaze