delete kernel binary