[U-Boot-Users] [PATCH 12/13] microblaze: clean microblaze_config.mk