On Sun, 05 Aug 2012 04:42:43 -0700, Michael wrote:
> The ChangeLog mentions a modification to microblaze-tdep.c, but the
> patch does not contain any changes to this file.
> 

Oh boy, I took the wrong diff from my repo when posting the patch -- I
had the patch in two changesets. Attached is the real patch for this.
ChangeLog added once again for review benefit.

Thanks,
Siddhesh