add missing kernel symbols