Yeah, which is a shame because I think an Allwinner SoC or similar would also fix the other problems people are complaining about in the discussion, like the slow/unreliable USB and Ethernet and the lack of line-in. (Allwinner SoCs have proper USB and Ethernet controllers and audio DAC/ADCs onboard.)
Some of the Android "HDMI stick" devices I've seen running Allwinner SoCs aren't very fast either. Granted they're faster, but compared to SoCs in cell phones, they're dog slow. The Android builds also always seem to not work in one way or other.
