Android 5.1 sebbene introduca molte novità, non è ancora molto ben ottimizzato per i box android, tant'è che spesso i risultati dei test danno valori più bassi con questa nuova versione. Al contrario Android 4.4 è ormai arrivato al suo momento di maggiore maturità ed è più stabile ed efficiente sia lato consumi che lato prestazioni. Per avere una versione di android 5.1 ottimamente funzionante si dovrà aspettare ancora del tempo.
Quel venditore fornisce il box con la versione iniziale 4.4, ma se guardi da altre parti tipo qua:
MXIII - G TV Box Android 5.1 1000M LAN-63.99 and Free Shipping| GearBest.com vedrai che viene venduto con la versione aggiornata, e comunque il firmware più recente è scaricabile anche da qua:
Download latest Android Lollipop 5.1 stock firmware for MXIII-G Android TV Box ~ China Gadgets Reviews.
Ti ho indicato quel modello perchè attualmente è uno dei più gettonati ed economici con quel chipset (oltre all'M8S) e da varie recensioni online ne parlano sempre abbastanza bene. L'MX IV non lo conoscevo ma dopo aver fatto qualche piccola ricerca sembra che oltre che valido sia anche leggermente meglio supportato (esiste un sito ufficiale con tanto di download aggiornamenti, mentre per l'mXIII-G non conosco il produttore).
Per l'utilizzo tipico di un mini pc android non è che ti servirà chissà quale spazio, a meno che tu non debba installarci giochi dalla grafica impegnativa, e in quel caso potresti comunque aggiungere una micro sd ad un prezzo relativamente basso (con 10 euro o poco più ne puoi acquistare una da 16GB ormai).
I circa 25 euro di differenza tra i due per solo 8GB in più non mi sembrano onestamente molto giustificati. Il resto dell'hardware è in pratica uguale.