add kernel 3.13