Deleted old kernel binary