В перспективе обещают да, и, в частности, есть андроид для платы Pine64 (не телефона, а SoC-платы типа Raspberry/Orange Pi). Вообще исходники все нужные есть, и народ вроде хочет попытаться собрать AOSP или Lineage, но я не нашёл примеров успешной сборки. Сегодня наконец с 10 попытки сам смог собрать NixOS, ура-ура! :)