Fix bugs in the new kernel installer.