add missing kernel symbols (#7189)