Updated x86.config file for 3.3.8 kernel