Correct installer for new kernel names