[AARCH64-4.7] Merge from upstream gcc-4_7-branch r191881

[Sofiane Naci]

Hi,

I have just merged upstream gcc-4_7-branch on the aarch64-4.7-branch up to
r191881.

Thanks
Sofiane