Re: [gnu-linaro-tools] Re: GCC PRE patch; apply or not?