Upgrade kernel config to 3.12.0