target-microblaze: Use %td for ptrdiff_t arguments in debug message