http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57847
--- Comment #3 from Mikael Pettersson <mikpe at it dot uu.se> --- There was a known problem in the Linux kernel on ARM with gcc-4.7+ due to one of the mem* procedures (likely memset or memcpy) being written in such a way that its return value didn't follow normal specs, but gcc-4.7+ optimizes based on those specs, so the kernel broke. This is supposed to have been fixed sometime in the Linux 3.x series.
