[Git][ghc/ghc][wip/romes/26202] Update DOCKER_REV to !172