[U-Boot-Users] [PATCH 1/1] microblaze: Fix printf() format issues