If Google goes proprietary with AOSP? They could fork AOSP, or go with their own proprietary system (like Huawei is successfully doing).

Linux distros (including non-GNU/Linux distros, e.g. busybox/Linux distros) are way behind for smartphones. I don't think they would switch to that.