microblaze: Sync defconfig with latest Kconfig layout