Fixed build error on wrong printf() format specifiers on ARM and possible other platforms