microblaze: Select compilation flags via Kconfig