bugfixing of lines to put the new kernel in place