Xiaomi A1でGoogle Camera （rootとかとったりしなくていいし OTAも問題ないはず）

ややこしいことしなくても、adbを使って設定を書き換えればなんとかなった。

ほぼ、この通り。ただ、Windowsだと上手くADBでデバイスを認識してくれなかったので、Linuxからやった。
https://forum.xda-developers.com/showpost.php?p=75541654&postcount=98

22日追記：
これやると、純正のカメラでもx2ズームにもう一個のレンズを使わなくなる。
Google cameraのほうが重要度高いのでこのままでいくけれど。