Upgrade the kernel to 3.13.5. Defaults to no. [ci skip]