Update linux-config to 3.12-rc4