Alan Jenkins wrote:
IIRC, the first person to report the issue found that it triggered when hotplugging a HDMI cable.
Oh, that's right. Either we were invoking the video BIOS from the kernel (which we do actually do sometimes) -- in which case we have control over when it happens -- or there is commingling of the video BIOS and mainboard BIOS combined with SMM crap. Joy.
-hpa -- To unsubscribe from this list: send the line "unsubscribe linux-tip-commits" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html