Nds 3d video not working properly with devkitARM r38

[Min]

After upgrading to devkitARM r38 none of the nds 3d graphics examples seem to work correctly anymore. They compile just fine but when I run them ( on both emulators and hardware ) the part of the graphics that use the 3d hardware either isn't displayed or appear extremly glitchy. My own projects that use the 3d hardware also have the same problem. Graphics that use the 2d hardware appear just fine though. I've tried re-installing but the problem persists.

[WinterMute]

Oops, sorry about that - looks like gcc 4.7.0 is optimising a bit more aggressively and re-ordering/combining writes to hardware registers. I've added memory barriers to the videoGL functions and released a new libnds which sorts that one out.