Update kernel config to 3.12-rc1