Add updated x86 kernel configuration for Linux 3.10.32.