config file for kernel for version 3.12.1