add missing kernel symbol