made kernel change 

changed name of kernel config file to match the build