Adding size_t patch for microblaze.