add kernel 3.12