adding kernel 3.13.2