To follow up on this issue: Another person who was having similar problems contacted me privately (thank you!) and informed me that adding "radeon.dpm=1" to the kernel command line seems to fix the problem.
I've done so, and it now seems to be working perfectly with kernel 3.13.10-1~bpo70+1. However: - the stable kernel is still broken, as it doesn't support the "radeon.dpm" option (and I have no idea how hard it would be to backport); - the backports kernel is broken, too, since dpm is not enabled by default for this card. Benjamin -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org