Thanks, will look at the audio buffer size.
- processing power does not seem to be the bottleneck: running 20 gzip /dev/urandom in the background makes no audible difference
- it's not clipping on peaks, and it is audible when Kodi is idle, too (see attached "silence" recording)