kernel: bump to 3.13.1