Поддался я на уговоры и таки заказал Orange Pi PC (который за 15$ + доставка). Уже едет где-то. Только вот что-то никак не могу выгуглить как там наладить загрузку ОС с USB (USB-диска, или флешки - не суть). Владельцы, подскажите.