kernel: Upgrade from 3.13.0 -> 3.13.1