found 658662 3.2.4-1 thanks Since the changelog of Linux 3.2.3 contains drm/i915-related fixes, I tested the newest Debian kernel: No change, the external display remains dark. Peter