DevkitPro had a few component updates. One of those updates is for Default ARM7.

Changes:

Rebuilt with latest libraries.

http://forums.devkitpro.org/viewtopic.php?f=13&t=1383