kernel-version: add linux kernel 2.6.32.71
[openwrt-14.07/.git] / profiles / 200-Texas.mk