kernel: Upgrade from 3.13.0 -> 3.13.1
Merge pull request #1653 from wkennington/master.kernel

kernel: Upgrade from 3.13.0 -> 3.13.1