> Если "удобная платформа для портирования" -- крайне не хватает хотя бы одного SATA,

А SATA у небольших SoC как-то так редкая периферия, увы. Навскидку я знаю лишь пару семейств где SATA есть в относительно мелких и недорогих - Marvell и Sunxi. Еще вроде iMX6, но только самые старшие (и дорогие).

> всё-таки загрузка с SD

Это зарекомендовало себя простым, удобным и die-hard вариантом. Просто скомпоновать карту, без особой черной магии. Не обязательно возиться с кастомными прошиваторами и чем там еще. А если доигрались и убили загрузчики в ноль - вынули карту да перелили образ снова на чем-то ином. Не требует никаких утилит кроме dd, что все-таки народу нравится. В этом плане Sunxi просто находка - карта самый приоритетный вариант загрузки для ROM, так что убить девайс нереально - всегда есть опция вставить правильную карту и попробовать .

> и сборка на NFS -- совсем другой вид спорта...

Можно винч/ssd или большую быструю флеху в USB воткнуть (USB3 флехи зачастую сделаны по SSDшным технологиям и на usb2 упрутся в потолок интерфейса). Уж всяко не хуже NFS @ 100Mbps. Да и UHS-I карты SDHC - тоже штука довольно резвая. ИМХО в плане компиляции прямо на девайсе основная проблема - скромный объем RAM и сравнительно слабый проц. Это конечно смотря относительно чего мерять, но 8-ядерник не ограниченный по TDP и с кучей оперативы и дисков - компилит сильно быстрее. Хоть с SATA, хоть с чем там еще.

> (да и второй гигабайт для таких задач не
> просто напрашивается, а вопиет)

ИМХО если надо компилить много и часто - напрашивается билдферма на нескольких мощных машинах с уймой ресурсов + кросскомпил.