По моему стоит 14.1 в апреле дождаться. Тогда и плату разработки наверно объявят доступной для заказа (они вроде её тестируют ещё - по крайней мере загрузка FSB с SD карты пока была hidden). По софту для цинка немного легче - Linux / QEMU уже давно есть.