Tomasz Malesinski wrote:
It turned out that it was a bug in emulation of 64-bit multiply instructions. After I fixed it, the original firmware correctly decoded a piece of an Ogg Vorbis song, so decoding can be done entirely by the main CPU.
Cool! I must say that you have done a great job so far! Linus