Hugo just posted about this in a thread in general, but I can't find it. He mentioned that the ogg developers have developed a arm based decoder, but haven't released it as open source.

Sean