Well, that's a welcome surprise - I got home, modprobe'd snd-bcm2835, fired up XMMS... and it played back without problems. I'm guessing the module wasn't loaded, so I've just set up a config file in /etc/modules-load.d which I'm about to test, but hopefully it'll auoload snd-bcm2835 on boot. It loo...