some changes for the new kernel installer