Proper mode for the install-debirf-kernel script