kernel-version: add linux kernel 2.6.32.71
[openwrt-14.07/.git] / gcc / patches / 4.8.0 / 850-use_shared_libgcc.patch