kernel: update to 3.10.13.