Got raspi/rev_b and motor3/rev_d to compile with gcc arm compiler 4.7.
The codesourcery compiler no longer work.