Upgrade kernel config for 3.9.0-rc5