Regarding Ubuntu 13.04: I just noticed that I am NOT restricted to a resolution of 1024x768 when using a kernel from an earlier daily build. Rather, mirroring works properly again in Ubuntu 13.04 with the Linux 3.8.0-7-generic kernel.
Mirroring may also work with kernels that are more recent than 3.8.0-7. But other than with 3.8.0-19 (with which mirroring doesn't work properly), I haven't yet had a chance to test more recent kernels.
Regarding Ubuntu 13.04: I just noticed that I am NOT restricted to a resolution of 1024x768 when using a kernel from an earlier daily build. Rather, mirroring works properly again in Ubuntu 13.04 with the Linux 3.8.0-7-generic kernel.
Mirroring may also work with kernels that are more recent than 3.8.0-7. But other than with 3.8.0-19 (with which mirroring doesn't work properly), I haven't yet had a chance to test more recent kernels.
Of possible interest to some, rolling back to Linux 3.8.0-7-generic also cured a recent problem in which HDMI audio wasn't working with my Radeon card. See https:/ /bugs.launchpad .net/ubuntu/ +source/ linux/+ bug/897008
So the problem seems to integral to the recent kernels updates.