redmi k20 pro possible build

By having the k20 kernel tool, will it be possible to officially build the k20 pro?