Some more information: * A colleague who owns a more modern Radeon GPU than mine (using the radeonsi drivers) doesn't have the same problem.
* If I start the X server with color depth 16 the problem goes away, but occurs with both 24 and 32 color depths. >From these observations, I conclude that the problem lies in the full-color handling of the standard radeon driver.
