Stimmt – mit dem aktuellen Kernel (ArchLinux) läuft das auf dem Raspberry Pi inzwischen ganz sauber. Auch doppeltes Live-Encoding (OGG + MP3 parallel) läuft wunderbar.
Ich kann das Paket aus Kistchen+Webservice ja mal vorführen, wenn’s interessiert.