Whilst compiling the Cirrus 3.12 kernel I discovered that it's rather simple to make a .deb package. This offers an easy way to get the Cirrus driver without downloading a huge file and re-imaging your filesystem. I'm not an expert at these things, but I've been using the package for a week or so and it seems to work well for me. Anyway, if there's any interest I'll upload it somewhere (here?)