Type the name of the new kernel: