remove some kernel header stuff