... In fact PulseAudio is so slow on this phone that the audio hiccups when just playing an OGG file using ogg123, if the terminal application is open and updating with ogg123's stderr output. I'm told this is to do with the ARM's lack of support for atomic operations, which PulseAudio requires, and the use of interrupt masking and spinlocks as a hack around that....