Re: linaro kernel fails to build with gcc4.7