microblaze: Fix printf() format issues

Signed-off-by: Michal Simek <monstr@monstr.eu>
3 files changed