kernel-version: add linux kernel 2.6.32.71