Update kernel config to 3.12.0-rc3