GCC 4.7.2 fails to build with texinfo 5.0

* Also renamed the patches to have devkitpro in the filename. That's
  more accurate than "standard".