[Xeno43]

A great program is out there called mediainfo, you run it on a file and it outs a text file telling you everything there is to know about the file, like what encoding settings were used and what profile. I'm no developer and have no chance in hell of adding real code to the port, however posting the mediainfo files of the files that do work and don't work should be a great help (I remember it helped me find out that movies encoded on a special setting of x264 all didn't work on the raspberry pi, luckily I only had two of those movies, don't remember if they fixed it, however at least I knew why it wasn't working).

Also, I own an MK802 too! Got it for $40, couldn't resist on the hope that one day someone will get XBMC working on it. Good luck!