Все так, но на сегодняшний день пока еще довольно мало мощных ARM систем, которые позволят сделать комфортное рабочее место. Но эта платформа очень набирает популярность, каждый день идет "гонка вооружений" и появляются все мощнее и мощнее системы. Как пример, ноутбук pine64.
Я запускал Gentoo на древней Raspberry. Как сервер отлично, но это не для десктопа. А вот Linux на ТВ-приставке уже работал пободрее, но обязательно нужно убедиться что загрузился драйвер opengl panfrost:
https://habr.com/ru/articles/765280/