Upgrade kernel config for 3.13.0-rc3