I'm guessing that there's also the problem with video bandwidth that was discussed around mplayer. IIRC the bandwidth from the CPU to the external graphics chip is not fast enough to transfer 800x480 video at a smoothly animated rate. 400x240 can be used and pixel-doubled at the other end.

Since the PowerVR is on the CPU, I guess any driver for that would have the same problem.