kernel: fix compile error with gcc-4.8 and kernel 3.3