deleted kernel