fixing name of kernel