update kernel header