Add x86 3.10.33 kernel configuration.