Kernel 3.13.3 configuration file
Minor bug correction