del kernel