linux3.8: update x86 config for 3.8.12.