Support Xilinx MicroBlaze processor - patch 1

[Nick Clifton]

Hi Ryan,

> I don't think c-microblaze.texi got checked in.

Doh.  My bad.  I see that Alan has already fixed it for me.

Cheers
   Nick