Correct installer for new kernel names
Correct installer for new kernel names