Завелось пара дистрибутивов, подготовленных сообществом.
Ссылки на образы взяты
отсюда.
Образы с минимальным Debian (wheeze) и Lubuntu запускаются и доступны по ssh.
1. Выход изображения и звука через HDMI проверить не удалось - нет телевизора\монитора с HDMI-портом, а переходник HDMI-DVI не работает, поскольку сам HDMI-порт видимо сконфигурирован для работы в другом режиме.
2. Аналоговый звук работает, но только после ручной конфигурации (отключать HDMI и ставить аналоговый выход по умолчанию).
3. В Lubuntu можно доустановить стандартным Debian`овским методом x11vnc и подключиться к графическому окружению.
4. GPIO и IR работают, но по умолчанию модули не загружаются - настраивать нужно вручную.
5. Автоматическое управление частотой процессора работает в обоих случаях.
6. Радиатор на процессоре нужен - поставляется по умолчанию без него.
Образы Android на официальном сайте не работают - на стадии инициализации GPU процесс зависает.
Покупкой в принципе доволен - для задачи прослушивания сетевого радио и как торренто-качалка функционала железки хватит. Сейчас даже RaspberryPi "B" можно приобрести только за 2790руб., а два OrangePi PC вместе с двумя блоками питания мне обошлись в 3145руб. с доставкой.