Fwd: linaro kernel fails to build with gcc4.7