Io opterei per S805 o S812; l'S802 mancandogli l'H.264/HEVC è praticamente tagliato fuori.
Infatti l'RK3288 ha tardato ad arrivare e come hai già accennato Rockchip è sempre stata un passo indietro nella parte gpu pur avendo casomai degli ottimi punteggi AnTuTu. Già al tempo i mono-core Allwinner battevano tranquillamente i dual-core di Rockchip ...
Piuttosto di un RK3288 io proverei un Allwinner A80.