New kernel config file for checking out the kernel sources. It does pulls